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

Definition df-ga 138
Description: Definition of {ga} in terms of {go}, {ganai}, and {ge}.
Assertion
Ref Expression
df-gago ganai ga brode gi brodi gi broda gi ge ganai brode gi broda gi ganai brodi gi broda

This definition is referenced by:  gai  139  gar  140  gari  141  ga-lin  142  ga-rin  143
  Copyright terms: Public domain W3C validator