Nuprl Definition : pgeo-plsep
a ≠ b ==  p."PS" a b
Definitions occuring in Statement : 
apply: f a
, 
token: "$token"
, 
record-select: r.x
Definitions occuring in definition : 
apply: f a
, 
record-select: r.x
, 
token: "$token"
FDL editor aliases : 
pgeo-plsep
Latex:
a  \mneq{}  b  ==    p."PS"  a  b
Date html generated:
2018_05_22-PM-00_23_11
Last ObjectModification:
2017_10_31-PM-01_53_17
Theory : euclidean!plane!geometry
Home
Index