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

---

Definition df-pa-da 552

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

Assertion

Ref	Expression
df-pa-da	⊢ go pa 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  553  pa-dari  554

Copyright terms: Public domain

W3C validator