Nuprl Definition : geo-eq
a ≡ b == ¬a ≠ b
Definitions occuring in Statement :
geo-sep: a ≠ b,
not: ¬A
Definitions occuring in definition :
not: ¬A,
geo-sep: a ≠ b
FDL editor aliases :
geo-eq
geo-eq
Latex:
a \mequiv{} b == \mneg{}a \mneq{} b
Date html generated:
2017_10_02-PM-03_25_50
Last ObjectModification:
2017_08_04-PM-05_44_14
Theory : euclidean!plane!geometry
Home
Index