Def Subgroup.centerCongr

Modification history

2026-08-18 12:48
Mathlib/GroupTheory/Subgroup/Center.lean
feat(Algebra): `center` map lemmas (#42105) …
Modified Subgroup.centerCongrView on Github →
2025-01-26 18:07
Mathlib/GroupTheory/Subgroup/Center.lean
feat(Algebra): `Mul/RingEquiv`s between `center` and `Module.End` (#20721)
Added Subgroup.centerCongrView on Github →