Theorem Polynomial.coeff_divModByMonicAux_mem_span_pow_mul_span

Modification history

2024-12-20 09:05
Mathlib/Algebra/Polynomial/CoeffMem.lean
feat(Polynomial): bounding the coefficients of `modByMonic`/`divByMonic` (#19163) …
Added Polynomial.coeff_divModByMonicAux_mem_span_pow_mul_spanView on Github →