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

---

Definition df-pa-da 455

Description: Definition of {1 da} in terms of {su'o da} and {du}.

Assertion

Ref	Expression
df-pa-da	⊢ go 1 da zo'u da bo'a gi su'o da zo'u ge da bo'a gi ganai ko'a bo'a gi ko'a du da

---

This definition is referenced by:  pa-dai  456  pa-dari  457

Copyright terms: Public domain

W3C validator