---

Step * of Lemma geo-perp-symmetry2

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

---

Latex:

---

Latex:
\mforall{}e:BasicGeometry.  \mforall{}b,a,c,u:Point.    (ab  \mbot{}  cu  {}\mRightarrow{}  ba  \mbot{}  cu)


By

---

Latex:
(Auto  THEN  EasyGeometry)

---

Home Index