Commit 2025-09-07 05:34 eb1143b7
View on Github →chore: remove CanonicallyOrderedAddCommMonoid (#29377)
This is a 6+ month old deprecation. I want to modify CanonicallyOrderedAdd in #29084, and it would neither make much sense to leave these deprecated classes as is, nor would it make sense to update them.