Nuprl Definition : ss-id

ss-id() ==  λx.x


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


Date html generated: 2019_10_31-AM-07_27_30
Last ObjectModification: 2019_03_19-PM-03_42_14

Theory : constructive!algebra


Home Index