Theorem Polynomial.coeff_modByMonic_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_modByMonic_mem_pow_natDegree_mulView on Github →