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

---

Definition df-efklipi 450

Description: A standard definition of right-Euclidean relations.

Assertion

Ref	Expression
df-efklipi	⊢ go ko'a efklipi ko'e gi ro da poi ke'a cmima ko'e ku'o zo'u ro de poi ke'a cmima ko'e ku'o zo'u ro di poi ke'a cmima ko'e ku'o zo'u ganai da ckini de .e di ko'a gi de ckini di ko'a

Distinct variable group:   da ,de ,di

---

This definition is referenced by: (None)

Copyright terms: Public domain

W3C validator