Commit 2022-05-06 10:07 d9893051
View on Github →feat(algebra/order/monoid_lemmas_zero_lt): add some lemmas assuming mul_zero_class
partial_order
/ linear_order
(#13377)
feat(algebra/order/monoid_lemmas_zero_lt): add some lemmas assuming mul_zero_class
partial_order
/ linear_order
(#13377)