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 ku cajni ko'a gi ge pa ka ce'u bu'a ce'u ce'u ku 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