Nuprl Lemma : angle-cong-preserves-zero-angle

∀g:EuclideanPlane. ∀a,b,c,x,y,z:Point.  (out(y xz) ⇒ abc ≅a xyz ⇒ out(b ac))


Proof

Error : references
Latex:
\mforall{}g:EuclideanPlane.  \mforall{}a,b,c,x,y,z:Point.    (out(y  xz)  {}\mRightarrow{}  abc  \mcong{}\msuba{}  xyz  {}\mRightarrow{}  out(b  ac))


Date html generated: 2020_05_21-AM-10_25_15
Last ObjectModification: 2018_11_08-PM-01_48_50

Theory : euclidean!plane!geometry


Home Index