feat(algebra/order/monoid_lemma_zero_lt): change tracking
There are a lot of conflicting changes in `algebra.order.monoid_lemma_zero_lt`, and this PR is currently only used to check what happens to the file after most changes are made conservatively.
I still don't think this file is ready to use yet, but it has happened.
