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

---

Definition df-giha 194

Description: Definition of {gi'a} in terms of {ga}.

Assertion

Ref	Expression
df-giha	⊢ go ko'a bo'a gi'a bo'e gi ga ko'a bo'a gi ko'a bo'e

---

This definition is referenced by:  gihai  195  gihari  196

Copyright terms: Public domain

W3C validator