Theorem Polynomial.natDegree_map_lt

Modification history

2024-12-01 22:43
Mathlib/Algebra/Polynomial/Eval/Degree.lean
feat: `Polynomial.map f` strictly decreases the degree if `f p.leadingCoeff = 0` (#19411) …
Added Polynomial.natDegree_map_ltView on Github →