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

---

Definition df-ckaji 270

Description: Definition of {ckaji} from {ka}. Based on example 4.1-2 of [CLL] p. 11.

Assertion

Ref	Expression
df-ckaji	⊢ go ko'a ckaji 1 ka ce'u bo'a kei gi ko'a bo'a

---

This definition is referenced by:  ckajii  271  ckajiri  272

Copyright terms: Public domain

W3C validator