df-efklizu - brismu bridi

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

Definition df-efklizu 451

Description: A standard definition of left-Euclidean relations.

**Assertion**
Ref	Expression
df-efklizu	⊢ go ko'a efklizu 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 de .e di ckini da ko'a gi de ckini di ko'a

Distinct variable group: da ,de ,di

This definition is referenced by: (None)