Step
*
of Lemma
sq_stable__incident
∀e:EuclideanPlane. ∀a:Point. ∀l:LINE.  SqStable(a I l)
BY
{ EAuto 2 }
Latex:
Latex:
\mforall{}e:EuclideanPlane.  \mforall{}a:Point.  \mforall{}l:LINE.    SqStable(a  I  l)
By
Latex:
EAuto  2
Home
Index