Nuprl Lemma : geo-congruence-identity

∀e:EuclideanPlane. ∀a,b,c:Point.  (cc ≅ ab ⇒ a ≡ b)


Proof

Error : references
Latex:
\mforall{}e:EuclideanPlane.  \mforall{}a,b,c:Point.    (cc  \mcong{}  ab  {}\mRightarrow{}  a  \mequiv{}  b)


Date html generated: 2020_05_21-AM-10_24_56
Last ObjectModification: 2019_11_13-AM-10_45_53

Theory : euclidean!plane!geometry


Home Index