# Commit 2022-05-07 04:45 ca1375a5

View on Github →refactor(algebra/order/monoid_lemmas): reorder the file (#13492)
Just like in `algebra/order/monoid_lemmas_zero_lt`

, sort by algebraic assumptions and order assumptions first, then put similar lemmas together.
It would be simpler to find duplicates, missing lemmas, and inconsistencies. (There are so many!)