Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-27 00:42 11e30477

View on Github →

feat(algebra/ordered_monoid): min_top_(left|right) (#8880)

Estimated changes

added theorem min_top_left
added theorem min_top_right