---

Step * of Lemma geo-perp-symmetry

∀e:BasicGeometry. ∀a,b,c,d:Point.  (ab ⊥ cd ⇒ cd ⊥ ab)
BY
{ (Auto THEN EasyGeometry) }

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}a,b,c,d:Point.    (ab  \mbot{}  cd  {}\mRightarrow{}  cd  \mbot{}  ab)


By

---

Latex:
(Auto  THEN  EasyGeometry)

---

Home Index