Nuprl Definition : vs-0-map
0 == λx.0
Definitions occuring in Statement :
vs-0: 0,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
vs-0: 0
FDL editor aliases :
vs-0-map
Latex:
0 == \mlambda{}x.0
Date html generated:
2019_10_31-AM-06_26_55
Last ObjectModification:
2019_08_12-AM-10_50_23
Theory : linear!algebra
Home
Index