Def monoidEndToAdditive

Modification history

2026-09-10 14:29
Mathlib/Algebra/Group/Equiv/TypeTags.lean
chore(Algebra/Group/Equiv/TypeTags): generalize to `Add` and `Mul` and deprecate duplicates (#43661) …
Deleted monoidEndToAdditiveView on Github →
2024-02-02 04:48
Mathlib/Algebra/Group/Equiv/TypeTags.lean
chore: move to v4.6.0-rc1, merging adaptations from bump/v4.6.0 (#10176)
Modified monoidEndToAdditiveView on Github →
2023-11-29 14:38
Mathlib/Algebra/Group/Equiv/TypeTags.lean
feat(RepresentationTheory/GroupCohomology): Noether's generalization of Hilbert's Theorem 90 (#8599)
Added monoidEndToAdditiveView on Github →