Commit 2022-11-27 03:29 1176a2c0
View on Github →style(Algebra/Order/Monoid/Lemmas): Update to current naming convention (#743)
Per the wiki, mul_le_cancellable
should translate to MulLECancellable
. Also changes mul_le_cancellable_one
to mulLECancellable_one
.