Theorem Polynomial.coeff_modByMonic_mem_span_pow_mul_span

Modification history

2024-12-20 16:26
Mathlib/Algebra/Polynomial/CoeffMem.lean
chore: rename `coeff_modByMonic_mem_span_pow_mul_span` (#20118)
Deleted Polynomial.coeff_modByMonic_mem_span_pow_mul_spanView on Github →
2024-12-20 09:05
Mathlib/Algebra/Polynomial/CoeffMem.lean
feat(Polynomial): bounding the coefficients of `modByMonic`/`divByMonic` (#19163) …
Added Polynomial.coeff_modByMonic_mem_span_pow_mul_spanView on Github →