Nuprl Definition : geo-line-eq
l ≡ m ==  ¬geo-line-sep(g;l;m)
Definitions occuring in Statement : 
geo-line-sep: geo-line-sep(g;l;m)
, 
not: ¬A
Definitions occuring in definition : 
not: ¬A
, 
geo-line-sep: geo-line-sep(g;l;m)
FDL editor aliases : 
geo-line-eq
Latex:
l  \mequiv{}  m  ==    \mneg{}geo-line-sep(g;l;m)
Date html generated:
2018_05_22-PM-01_00_26
Last ObjectModification:
2018_01_16-PM-00_56_12
Theory : euclidean!plane!geometry
Home
Index