Nuprl Definition : pgeo-lpsep
a ≠ b == b ≠ a
Definitions occuring in Statement :
pgeo-plsep: a ≠ b
Definitions occuring in definition :
pgeo-plsep: a ≠ b
FDL editor aliases :
pgeo-lpsep
Latex:
a \mneq{} b == b \mneq{} a
Date html generated:
2018_05_22-PM-00_24_51
Last ObjectModification:
2017_10_17-PM-04_31_18
Theory : euclidean!plane!geometry
Home
Index