df-bridi-t - brismu bridi

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

Definition df-bridi-t 494

**Assertion**
Ref	Expression
df-bridi-t	⊢ pa du'u ko'a bu'a ko'e ko'i kei bridi pa 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)