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

Definition df-purci 672
Description: Definition of non-aorist {purci} in terms of aorist {mulpru} and {cabna}.
Assertion
Ref Expression
df-purcigo ko'a purci ko'e gi ko'a mulpru ja cabna ko'e

This definition is referenced by: (None)
  Copyright terms: Public domain W3C validator