Home brismu bridi < Previous   Next >
Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-cajni
Definition df-cajni 568
Description: Definition of {cajni} in terms of {klojere}.
Assertion
Ref Expression
df-cajni ⊢ go pa ka ce'u bu'a ce'u ce'u kei cajni ko'a gi ge pa ka ce'u bu'a ce'u ce'u kei klojere ko'a gi ro da poi ke'a cmima ko'a ku'o zo'u ro de poi ke'a cmima ko'a ku'o zo'u ro di poi ke'a cmima ko'a ku'o zo'u go da bu'a de di gi de bu'a da di
Distinct variable group:   da , de , di
This definition is referenced by: (None)
  Copyright terms: Public domain W3C validator