Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-11 04:25 2e9f708d

View on Github →

feat(algebra/ordered_monoid): order_embedding.mul_left (#9127)

Estimated changes