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

---

Definition df-cabna 667

Description: Definition of {cabna} in terms of {mokca}: two events are simultaneous when they have a moment in common.

Assertion

Ref	Expression
df-cabna	⊢ go ko'a cabna ko'e gi su'o da zo'u da mokca ko'a .e ko'e

---

This definition is referenced by: (None)

Copyright terms: Public domain

W3C validator