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

---

Definition df-frinyduhi 709

Description: Definition of equivalence of fractions.

Assertion

Ref	Expression
df-frinyduhi	⊢ go ko'a frinydu'i ko'e gi ge ge ko'a frinyna'u fo'a fo'e gi ko'e frinyna'u fo'i fo'o gi su'o da zo'u da pilji fo'a fo'o gi'e pilji fo'e fo'i

---

This definition is referenced by: (None)

Copyright terms: Public domain

W3C validator