Theorem Polynomial.trailingCoeff_eq_coeff_zero

Modification history

2025-12-15 10:15
Mathlib/Algebra/Polynomial/Degree/TrailingDegree.lean
feat(Algebra): prerequisites for #31919 (#32118) …
Added Polynomial.trailingCoeff_eq_coeff_zeroView on Github →