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

---

Definition df-poi-ro 465

Description: Definition of {ro da poi} quantifiers as restricted first-order universal quantifiers.

Assertion

Ref	Expression
df-poi-ro	⊢ go ro da poi ke'a bo'a ku'o zo'u broda gi ro da zo'u ganai da bo'a gi broda

---

This definition is referenced by:  poi-roi  466  poi-rori  467

Copyright terms: Public domain

W3C validator