P
Initializing...
`recipSer` acts coefficientwise: `[xⁿ] fᵛ = v([xⁿ] f)`. · Prove2Me