Nuprl Definition : zero-bfs
0 * ss == bag-map(λs.<0, s>;ss)
Definitions occuring in Statement :
lambda: λx.A[x],
pair: <a, b>,
rng_zero: 0,
bag-map: bag-map(f;bs)
Definitions occuring in definition :
bag-map: bag-map(f;bs),
lambda: λx.A[x],
pair: <a, b>,
rng_zero: 0
FDL editor aliases :
zero-bfs
Latex:
0 * ss == bag-map(\mlambda{}s.ɘ, s>ss)
Date html generated:
2018_05_22-PM-09_44_31
Last ObjectModification:
2018_01_08-PM-01_00_40
Theory : linear!algebra
Home
Index