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

---

Definition df-frinyduhi 700

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 ge fo'a pilji fo'o fo'u gi fo'e pilji fo'i fo'u

---

This definition is referenced by: (None)

Copyright terms: Public domain

W3C validator