Commit 2024-12-20 16:26 75d219b4

View on Github →

chore: rename coeff_modByMonic_mem_span_pow_mul_span (#20118)

Estimated changes

Modified Mathlib/Algebra/Polynomial/CoeffMem.lean

added theorem Polynomial.coeff_divByMonic_mem_pow_natDegree_mul

deleted theorem Polynomial.coeff_divByMonic_mem_span_pow_mul_span

added theorem Polynomial.coeff_modByMonic_mem_pow_natDegree_mul

deleted theorem Polynomial.coeff_modByMonic_mem_span_pow_mul_span