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

---

Definition df-ga 128

Description: Definition of {ga} in terms of {go}, {ganai}, and {ge}. Axiom ax-io in [ILE] p. 0.

Assertion

Ref	Expression
df-ga	⊢ go ganai ga brode gi brodi gi broda gi ge ganai brode gi broda gi ganai brodi gi broda

---

This definition is referenced by:  gai  129  gar  130  gari  131  ga-lin  132  ga-rin  133

Copyright terms: Public domain

W3C validator