Theorem Polynomial.Monic.nextCoeff_pow

Modification history

2024-02-15 16:16
Mathlib/Data/Polynomial/Monic.lean
feat: add some simple results regarding polynomials (#10572) …
Added Polynomial.Monic.nextCoeff_powView on Github →