P
Initializing...
`[xⁿ] S⁻¹ f = q⁻ⁿ [xⁿ] f`. · Prove2Me