Step * of Lemma geo-le-pt-from-cong

e:BasicGeometry. ∀a,b,c,d:Point.  (ab ≅ cd  ab≤cd)
BY
Auto }

1
1. BasicGeometry
2. Point
3. Point
4. Point
5. Point
6. ab ≅ cd
⊢ ab≤cd


Latex:


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


By


Latex:
Auto




Home Index