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.