Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-03 07:59 39043742

View on Github →

chore(algebra/ordered_group): add strict_mono.add_const/const_add` (#2926)

Estimated changes

added theorem strict_mono.add_const
added theorem strict_mono.const_add