Commit 2025-01-20 16:09 b823988b

feat: use to_additive for Monoid.End (#19687)

• Rename Monoid.coe_one and Monoid.coe_mul to Monoid.End.coe_one and Monoid.End.coe_mul, which is already the name for AddMonoid.End. I made the deprecations protected in order to not cause overloading issues.
• Change some instance names to increase consistency in names (no deprecations added)