Nuprl Definition : geo-length-sep
ab # cd) == cd>ab) ∨ ab>cd)
Definitions occuring in Statement :
geo-gt-prim: ab>cd),
or: P ∨ Q
Definitions occuring in definition :
or: P ∨ Q,
geo-gt-prim: ab>cd)
FDL editor aliases :
geo-length-sep
Latex:
ab \# cd) == cd>ab) \mvee{} ab>cd)
Date html generated:
2019_10_16-PM-01_12_12
Last ObjectModification:
2019_09_03-PM-00_26_48
Theory : euclidean!plane!geometry
Home
Index