Nuprl Definition : const-sphere-map
const-sphere-map(p) == λx.p
Definitions occuring in Statement :
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
FDL editor aliases :
const-sphere-map
Latex:
const-sphere-map(p) == \mlambda{}x.p
Date html generated:
2019_10_30-AM-10_15_30
Last ObjectModification:
2019_07_30-PM-02_21_20
Theory : real!vectors
Home
Index