Nuprl Definition : neg-bfs
-(fs) == bag-map(λp.let k,s = p in <-K k, s>;fs)
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
rng_minus: -r,
bag-map: bag-map(f;bs)
Definitions occuring in definition :
bag-map: bag-map(f;bs),
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
apply: f a,
rng_minus: -r
FDL editor aliases :
neg-bfs
Latex:
-(fs) == bag-map(\mlambda{}p.let k,s = p in <-K k, s>fs)
Date html generated:
2018_05_22-PM-09_46_58
Last ObjectModification:
2018_01_08-AM-11_43_01
Theory : linear!algebra
Home
Index