Nuprl Definition : rabs*
|x| == λa.|a|*(x)
Definitions occuring in Statement :
rfun*: f*(x),
rabs: |x|,
lambda: λx.A[x]
Definitions occuring in definition :
rfun*: f*(x),
lambda: λx.A[x],
rabs: |x|
FDL editor aliases :
rabs*
Latex:
|x| == \mlambda{}a.|a|*(x)
Date html generated:
2018_05_22-PM-03_15_15
Last ObjectModification:
2017_10_06-PM-03_42_20
Theory : reals_2
Home
Index