Commit 2024-07-01 10:39 28955afa
View on Github →chore(Algebra/Polynomial/Div): rename mul_div_mod_by_monic_cancel_left to mul_divByMonic_cancel_left (#14280)
Rename mul_div_mod_by_monic_cancel_left to fit naming conventions and make the theorem easier to find.