Nuprl Definition : geo-Aparallel
l || m ==  ¬l \/ m
Definitions occuring in Statement : 
geo-intersect: L \/ M
, 
not: ¬A
Definitions occuring in definition : 
not: ¬A
, 
geo-intersect: L \/ M
FDL editor aliases : 
geo-Aparallel
Latex:
l  ||  m  ==    \mneg{}l  \mbackslash{}/  m
Date html generated:
2018_05_22-PM-01_07_30
Last ObjectModification:
2018_01_17-PM-07_45_59
Theory : euclidean!plane!geometry
Home
Index