Theorem Polynomial.mul_divByMonic_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) …
Added Polynomial.mul_divByMonic_cancel_leftView on Github →