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

---

Definition df-pohu 382

Description: Definition of {po'u} in terms of {poi du}, as given by example 3.9-10 from [CLL] p. 8.

Assertion

Ref	Expression
df-pohu	⊢ go ro da po'u ko'a zo'u broda gi ro da poi ke'a du ko'a ku'o zo'u broda

---

This definition is referenced by: (None)

Copyright terms: Public domain

W3C validator