Nuprl Definition : pgeo-peq
a ≡ b ==  ¬a ≠ b
Definitions occuring in Statement : 
pgeo-psep: a ≠ b
, 
not: ¬A
Definitions occuring in definition : 
not: ¬A
, 
pgeo-psep: a ≠ b
FDL editor aliases : 
pgeo-peq
Latex:
a  \mequiv{}  b  ==    \mneg{}a  \mneq{}  b
Date html generated:
2018_05_22-PM-00_25_20
Last ObjectModification:
2017_10_16-PM-01_38_26
Theory : euclidean!plane!geometry
Home
Index