Def addMonoidEndToMultiplicative

Modification history

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 addMonoidEndToMultiplicative View 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 addMonoidEndToMultiplicative View on Github →