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

---

Definition df-ga 161

Description: Definition of {ga} in terms of {go}, {ganai}, and {ge}.

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  162  gar  163  gari  164  ga-lin  165  ga-rin  166

Copyright terms: Public domain

W3C validator