Nuprl Definition : fps-one
1 == λb.if bag-null(b) then 1 else 0 fi
Definitions occuring in Statement :
bag-null: bag-null(bs),
ifthenelse: if b then t else f fi ,
lambda: λx.A[x],
rng_one: 1,
rng_zero: 0
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
bag-null: bag-null(bs),
rng_one: 1,
rng_zero: 0
FDL editor aliases :
fps-one
Latex:
1 == \mlambda{}b.if bag-null(b) then 1 else 0 fi
Date html generated:
2016_05_15-PM-08_14_26
Last ObjectModification:
2015_09_23-AM-08_21_10
Theory : power!series
Home
Index