Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-12 01:48 f0c8a15d

View on Github →

chore(algebra/ordered_ring): golf some proofs using strict_mono_incr_on (#5323)

Estimated changes