Theorem pos_of_gt
Modification history
2022-10-09 22:10
src/algebra/order/monoid.lean
chore(algebra/order/monoid): split into smaller files (#16861) …
Modified pos_of_gtView on Github →2021-05-20 19:10
src/algebra/ordered_monoid.lean
refactor(*): remove some uses of omega in the library (#7620) …
Added pos_of_gtView on Github →