Nuprl Definition : id-sphere-map

id-sphere-map() ==  λx.x


Definitions occuring in Statement :  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x]
FDL editor aliases :  id-sphere-map
Latex:
id-sphere-map()  ==    \mlambda{}x.x


Date html generated: 2019_10_30-AM-10_15_33
Last ObjectModification: 2019_07_30-PM-02_25_51

Theory : real!vectors


Home Index