df-naja-t - brismu bridi

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

Definition df-naja-t 125

Description: Extension of df-naja 121 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 401 te-dual-l 402 te-dual-r 403