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

---

Definition df-fancu 574

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 1 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  575

Copyright terms: Public domain

W3C validator