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

---

Syntax Definition df-pagyfancu 578

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

Hypotheses

Ref	Expression
sbba	selbri bu'a
wda	sumti da
wde	sumti de
wdi	sumti di

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 1 ka ce'u bu'a ce'u kei gi 1 ka su'o da zo'u ce'u .e ce'u bu'a da kei ki'irni'i 1 ka ce'u du ce'u kei

Distinct variable group:   da ,de ,di

---

Copyright terms: Public domain

W3C validator