---

Step * of Lemma equiv_rel_true

∀[T:Type]. EquivRel(T;x,y.True)
BY
{ (Auto THEN RepeatFor 2 ((D 0 THEN Auto))) }

---

Latex:

---

Latex:
\mforall{}[T:Type].  EquivRel(T;x,y.True)


By

---

Latex:
(Auto  THEN  RepeatFor  2  ((D  0  THEN  Auto)))

---

Home Index