df-naja-t - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > df-naja-t

Definition df-naja-t 93

Description: Extension of df-naja 89 to ternary bridi.

**Assertion**
Ref	Expression
df-naja-t	⊢ go ko'a bu'a naja bu'e ko'e ko'i gi ganai ko'a bu'a ko'e ko'i gi ko'a bu'e ko'e ko'i

Distinct variable group: bu'a ,bu'e

This definition is referenced by: te-dual 327 te-dual-l 328 te-dual-r 329