Nuprl Definition : canon-bnd
canon-bnd(x) == |x 1| + 3
Definitions occuring in Statement :
absval: |i|,
apply: f a,
add: n + m,
natural_number: $n
Definitions occuring in definition :
add: n + m,
absval: |i|,
apply: f a,
natural_number: $n
FDL editor aliases :
canon-bnd
Latex:
canon-bnd(x) == |x 1| + 3
Date html generated:
2019_10_16-PM-03_06_32
Last ObjectModification:
2019_01_31-PM-04_10_16
Theory : reals
Home
Index