Nuprl Definition : fps-single
<c> == λb.if bag-eq(eq;b;c) then 1 else 0 fi
Definitions occuring in Statement :
bag-eq: bag-eq(eq;as;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-eq: bag-eq(eq;as;bs),
rng_one: 1,
rng_zero: 0
FDL editor aliases :
fps-single
Latex:
<c> == \mlambda{}b.if bag-eq(eq;b;c) then 1 else 0 fi
Date html generated:
2016_05_15-PM-08_14_31
Last ObjectModification:
2015_09_23-AM-08_21_10
Theory : power!series
Home
Index