Nuprl Definition : ss-eq

x ≡ y ==  ¬x # y


Definitions occuring in Statement :  ss-sep: x # y,  not: ¬A
Definitions occuring in definition :  not: ¬A,  ss-sep: x # y
FDL editor aliases :  ss-eq
Latex:
x  \mequiv{}  y  ==    \mneg{}x  \#  y


Date html generated: 2019_10_31-AM-07_26_30
Last ObjectModification: 2019_03_19-PM-03_40_55

Theory : constructive!algebra


Home Index