df-na.a - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > df-na.a

Definition df-na.a 78

Description: Definition of {na.a} in terms of {ganai}. By analogy with forethought version of example 12.2-5 from [CLL] p. 14.

**Assertion**
Ref	Expression
df-na.a	⊢ go ko'a na.a ko'e bo'a gi ganai ko'a bo'a gi ko'e bo'a

This definition is referenced by: naai 79 naari 81 kihirnihi-refl 566