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!)