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

---

Definition df-johe 482

Description: Definition of {jo'e} in terms of {ga}.

Assertion

Ref	Expression
df-johe	⊢ go ko'a cmima ko'e jo'e ko'i gi ko'a cmima ko'e .a ko'i

---

This definition is referenced by:  johei  483  joheri  484

Copyright terms: Public domain

W3C validator