monoid): make bot_eq_zero a simp lemma only when the order is linear (#14553)

Commit

3 years ago

refactor(src/algebra/order/monoid): make bot_eq_zero a simp lemma only when the order is linear (#14553)

Author

eric-wieser

Parents