Nuprl Definition : mvp-add
mvp-add(r;p;q) == let s,f = p in let s',g = q in <bag-lub(AtomDeq;s;s'), (f+g)>
Definitions occuring in Statement :
fps-add: (f+g),
bag-lub: bag-lub(eq;b1;b2),
atom-deq: AtomDeq,
spread: spread def,
pair: <a, b>
Definitions occuring in definition :
spread: spread def,
pair: <a, b>,
bag-lub: bag-lub(eq;b1;b2),
atom-deq: AtomDeq,
fps-add: (f+g)
FDL editor aliases :
mvp-add
Latex:
mvp-add(r;p;q) == let s,f = p in let s',g = q in <bag-lub(AtomDeq;s;s'), (f+g)>
Date html generated:
2016_05_15-PM-10_03_28
Last ObjectModification:
2015_09_23-AM-08_22_05
Theory : power!series
Home
Index