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.

Estimated changes