Nuprl Definition : fps-div
(f÷g) == λb.fps-div-coeff(eq;r;f;g;x;b)
Definitions occuring in Statement :
fps-div-coeff: fps-div-coeff(eq;r;f;g;x;b),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
fps-div-coeff: fps-div-coeff(eq;r;f;g;x;b)
FDL editor aliases :
fps-div
Latex:
(f\mdiv{}g) == \mlambda{}b.fps-div-coeff(eq;r;f;g;x;b)
Date html generated:
2016_05_15-PM-09_48_45
Last ObjectModification:
2015_09_23-AM-08_21_17
Theory : power!series
Home
Index