Nuprl Definition : r2-line-eq

r2-line-eq(l;m) == ¬r2-line-sep(l;m)

Definitions occuring in Statement : r2-line-sep: r2-line-sep(l;m), not: ¬A
Definitions occuring in definition : r2-line-sep: r2-line-sep(l;m), not: ¬A
FDL editor aliases : r2-line-eq

Latex:
r2-line-eq(l;m) == \mneg{}r2-line-sep(l;m) Date html generated: 2018_07_29-AM-09_47_02 Last ObjectModification: 2018_07_02-PM-04_06_44 Theory : reals!model!euclidean!geometry Home Index