Commit 2023-02-28 08:27 6d74064d

feat: a canonically ordered semiring is an ordered monoid (#2510) Mathlib 3 version is leanprover-community/mathlib#18504

• algebra.big_operators.order@afdb4fa3b32d41106a4a09b371ce549ad7958abd..824f9ae93a4f5174d2ea948e2d75843dd83447bb
• algebra.order.ring.canonical@a1b3559280c8e09220759127b400d1b02d7ac071..824f9ae93a4f5174d2ea948e2d75843dd83447bb