Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.coeff_divByMonic_mem_pow_natDegree_mul
Modification history
2024-12-20 16:26
Mathlib/Algebra/Polynomial/CoeffMem.lean
chore: rename `coeff_modByMonic_mem_span_pow_mul_span` (#20118)
Added
Polynomial.coeff_divByMonic_mem_pow_natDegree_mul
View on Github →