---

Step * of Lemma geo-sas2

No Annotations
∀e:BasicGeometry. ∀a,b,c,A,B,C:Point.  bc ≅ BC supposing (ab ≅ AB ∧ ac ≅ AC) ∧ bac ≅a BAC
BY
{ (Auto THEN (D -1 THEN ExRepD) THEN EasyGeometry) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}e:BasicGeometry.  \mforall{}a,b,c,A,B,C:Point.    bc  \mcong{}  BC  supposing  (ab  \mcong{}  AB  \mwedge{}  ac  \mcong{}  AC)  \mwedge{}  bac  \mcong{}\msuba{}  BAC


By

---

Latex:
(Auto  THEN  (D  -1  THEN  ExRepD)  THEN  EasyGeometry)

---

Home Index