Nuprl Definition : abs-val
|x| == if x <z 0 then -x else x fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
minus: -n,
natural_number: $n
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
natural_number: $n,
minus: -n
FDL editor aliases :
abs-val
Latex:
|x| == if x <z 0 then -x else x fi
Date html generated:
2016_05_13-PM-04_03_56
Last ObjectModification:
2015_09_22-PM-05_45_46
Theory : int_1
Home
Index