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