Nuprl Definition : fps-zero
0 == λb.0
Definitions occuring in Statement :
lambda: λx.A[x],
rng_zero: 0
Definitions occuring in definition :
lambda: λx.A[x],
rng_zero: 0
FDL editor aliases :
fps-zero
Latex:
0 == \mlambda{}b.0
Date html generated:
2016_05_15-PM-08_14_23
Last ObjectModification:
2015_09_23-AM-08_21_09
Theory : power!series
Home
Index