Nuprl Definition : nequal
a ≠ b ∈ T == ¬(a = b ∈ T)
Definitions occuring in Statement :
not: ¬A,
equal: s = t ∈ T
Definitions occuring in definition :
not: ¬A,
equal: s = t ∈ T
Rules referencing :
divideEquality,
remainderEquality,
divideRemainderSum
FDL editor aliases :
nequal
Latex:
a \mneq{} b \mmember{} T == \mneg{}(a = b)
Date html generated:
2016_05_13-PM-03_04_17
Last ObjectModification:
2015_09_22-PM-05_43_40
Theory : core_1
Home
Index