Nuprl Definition : fps-add-grp
fps-add-grp(r) == fps-rng(r)↓+gp
Definitions occuring in Statement :
fps-rng: fps-rng(r),
add_grp_of_rng: r↓+gp
Definitions occuring in definition :
add_grp_of_rng: r↓+gp,
fps-rng: fps-rng(r)
FDL editor aliases :
fps-add-grp
Latex:
fps-add-grp(r) == fps-rng(r)\mdownarrow{}+gp
Date html generated:
2016_05_15-PM-09_48_11
Last ObjectModification:
2015_09_23-AM-08_21_14
Theory : power!series
Home
Index