Mathlib v3 is deprecated. Go to Mathlib v4

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 →
2021-05-15 16:28
src/algebra/ordered_monoid.lean
feat(algebra/{ordered_monoid, ordered_monoid_lemmas}): split the `ordered_[...]` typeclasses (#7371) …
Deleted pos_of_gtView on Github →
2021-04-22 01:02
src/algebra/ordered_monoid.lean
feat(analysis/special_functions/bernstein): Weierstrass' theorem: polynomials are dense in C([0,1]) (#6497) …
Added pos_of_gtView on Github →