Nuprl Definition : absval
|i| == eval x = i in if (0) < (x) then x else (-x)
Definitions occuring in Statement :
callbyvalue: callbyvalue,
less: if (a) < (b) then c else d,
minus: -n,
natural_number: $n
Definitions occuring in definition :
callbyvalue: callbyvalue,
less: if (a) < (b) then c else d,
natural_number: $n,
minus: -n
Rules referencing :
Continuity
FDL editor aliases :
absval
Latex:
|i| == eval x = i in if (0) < (x) then x else (-x)
Date html generated:
2016_05_13-PM-03_33_32
Last ObjectModification:
2015_09_22-PM-05_44_59
Theory : arithmetic
Home
Index