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

---

Definition df-poi-pa 459

Description: Definition of {1 da poi} quantifiers as restricted first-order uniqueness quantifiers.

Assertion

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

---

This definition is referenced by:  poi-pai  460  poi-pari  461

Copyright terms: Public domain

W3C validator