df-bridi-b - brismu bridi

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

Definition df-bridi-b 399

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

This definition is referenced by: (None)