Nuprl Definition : subtract
n - m == n + (-m)
Definitions occuring in Statement :
add: n + m,
minus: -n
Definitions occuring in definition :
add: n + m,
minus: -n
Rules referencing :
intWeakElimination
Latex:
n - m == n + (-m)
Date html generated:
2016_05_13-PM-03_03_45
Last ObjectModification:
2015_09_22-PM-01_26_54
Theory : core_1
Home
Index