Theorem Polynomial.mul_div_mod_by_monic_cancel_left

Modification history

2024-07-01 10:39
Mathlib/Algebra/Polynomial/Div.lean
chore(Algebra/Polynomial/Div): rename `mul_div_mod_by_monic_cancel_left` to `mul_divByMonic_cancel_left` (#14280) …
Deleted Polynomial.mul_div_mod_by_monic_cancel_leftView on Github →
2023-03-19 06:36
Mathlib/Data/Polynomial/Div.lean
feat: port Data.Polynomial.Div (#2975)
Added Polynomial.mul_div_mod_by_monic_cancel_leftView on Github →