Nuprl Definition : fps-sub
(f-g) == (f+-(g))
Definitions occuring in Statement :
fps-neg: -(f),
fps-add: (f+g)
Definitions occuring in definition :
fps-add: (f+g),
fps-neg: -(f)
FDL editor aliases :
fps-sub
Latex:
(f-g) == (f+-(g))
Date html generated:
2016_05_15-PM-09_47_34
Last ObjectModification:
2015_09_23-AM-08_21_13
Theory : power!series
Home
Index