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

Definition df-bridi-t 494
Assertion
Ref Expression
df-bridi-tpa 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)
  Copyright terms: Public domain W3C validator