Nuprl Lemma : geo-add-length-lt-sep

∀e:BasicGeometry. ∀a,b,c,d,g,h:Point.  (|ab| < |cd| + |gh| ⇒ (c # d ∨ g # h))


Proof

Error : references
Latex:
\mforall{}e:BasicGeometry.  \mforall{}a,b,c,d,g,h:Point.    (|ab|  <  |cd|  +  |gh|  {}\mRightarrow{}  (c  \#  d  \mvee{}  g  \#  h))


Date html generated: 2020_05_21-AM-10_25_05
Last ObjectModification: 2019_02_18-PM-08_01_47

Theory : euclidean!plane!geometry


Home Index