---

Step * of Lemma sq_stable__geo-congruent

∀g:EuclideanPlaneStructure. ∀[a,b,c,d:Point].  SqStable(ab ≅ cd)
BY
{ ((UnivCD THENA Auto) THEN BLemma `stable-implies-sq_stable` THEN Auto) }

---

Latex:

---

Latex:
\mforall{}g:EuclideanPlaneStructure.  \mforall{}[a,b,c,d:Point].    SqStable(ab  \00D0  cd)


By

---

Latex:
((UnivCD  THENA  Auto)  THEN  BLemma  `stable-implies-sq\_stable`  THEN  Auto)

---

Home Index