df-bridi-t - brismu bridi

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

Definition df-bridi-t 400

**Assertion**
Ref	Expression
df-bridi-t	⊢ 1 du'u ko'a bu'a ko'e ko'i kei bridi 1 ka ce'u bu'a ce'u ce'u kei ko'a ce'o ko'e ce'o ko'i

This definition is referenced by: (None)