Nuprl Definition : ndiff
a -- b == imax(a - b;0)
Definitions occuring in Statement :
imax: imax(a;b),
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
imax: imax(a;b),
subtract: n - m,
natural_number: $n
FDL editor aliases :
ndiff
Latex:
a -- b == imax(a - b;0)
Date html generated:
2016_05_14-AM-07_22_35
Last ObjectModification:
2015_09_22-PM-05_46_17
Theory : int_2
Home
Index