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

---

Definition df-fancu 702

Description: Definition of {fancu}. Note that the name of the function is neither unique nor concrete.

Assertion

Ref	Expression
df-fancu	⊢ go ko'a fancu ko'e ko'i ko'o gi ro da poi ke'a cmima ko'e ku'o zo'u pa de zo'u ge de cmima ko'i gi da ckini de ko'o

Distinct variable group:   da , de

---

This definition is referenced by:  fancui  703

Copyright terms: Public domain

W3C validator