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

---

Definition df-pagyfancu 706

Description: Definition of {pagyfancu} in terms of {ki'irni'i}.

Assertion

Ref	Expression
df-pagyfancu	⊢ go su'o da zo'u su'o de zo'u su'o di zo'u da pagyfancu de di pa ka ce'u bu'a ce'u kei gi pa ka su'o da zo'u ce'u .e ce'u bu'a da kei ki'irni'i pa ka ce'u du ce'u kei

Distinct variable group:   da , de , di

---

This definition is referenced by: (None)

Copyright terms: Public domain

W3C validator