---

Step * of Lemma geo-seg-congruent-trivial

∀e:BasicGeometry. ∀[s:geo-segment(e)]. geo-seg-congruent(e; s; s)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}[s:geo-segment(e)].  geo-seg-congruent(e;  s;  s)


By

---

Latex:
EAuto  1

---

Home Index