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