df-bridi-q - brismu bridi

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

Definition df-bridi-q 401

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

This definition is referenced by: (None)