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

---

Definition df-janai 127

Description: Definition of {janai} in terms of {ganai}. By analogy with example 12.2-5 of [CLL] p. 14.

Assertion

Ref	Expression
df-janai	⊢ go ko'a bu'e janai bu'a ko'e gi ganai ko'a bu'a ko'e gi ko'a bu'e ko'e

Distinct variable group:   bu'a , bu'e

---

This definition is referenced by:  janaii  128  janairi  130

Copyright terms: Public domain

W3C validator