Nuprl Definition : vs-id-map
id == λx.x
Definitions occuring in Statement :
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
FDL editor aliases :
vs-id-map
Latex:
id == \mlambda{}x.x
Date html generated:
2019_10_31-AM-06_27_00
Last ObjectModification:
2019_08_13-PM-01_56_50
Theory : linear!algebra
Home
Index