---

Step * of Lemma uequiv_rel_iff

UniformEquivRel(ℙ;A,B.A ⇐⇒ B)
BY
{ (Unfold `uequiv_rel` 0 THEN Unfolds ``urefl usym utrans`` 0 THEN Auto) }

---

Latex:

---

Latex:
UniformEquivRel(\mBbbP{};A,B.A  \mLeftarrow{}{}\mRightarrow{}  B)


By

---

Latex:
(Unfold  `uequiv\_rel`  0  THEN  Unfolds  ``urefl  usym  utrans``  0  THEN  Auto)

---

Home Index