Nuprl Definition : bfs-rm0
bfs-rm0(K;eq;b) == [p∈b|¬b(eq (fst(p)) 0)]
Definitions occuring in Statement :
bnot: ¬bb,
pi1: fst(t),
apply: f a,
rng_zero: 0,
bag-filter: [x∈b|p[x]]
Definitions occuring in definition :
bag-filter: [x∈b|p[x]],
bnot: ¬bb,
apply: f a,
pi1: fst(t),
rng_zero: 0
FDL editor aliases :
bfs-rm0
Latex:
bfs-rm0(K;eq;b) == [p\mmember{}b|\mneg{}\msubb{}(eq (fst(p)) 0)]
Date html generated:
2019_10_31-AM-06_28_38
Last ObjectModification:
2019_08_27-PM-03_08_13
Theory : linear!algebra
Home
Index