Mathlib Changelog
v4
Changelog
About
Github
Theorem
commutator_eq_bot_iff_center_eq_top
Modification history
2025-07-23 15:29
Mathlib/GroupTheory/Abelianization.lean
chore(GroupTheory/FreeAbelianGroup): do not import cardinals (#27169) …
Modified
commutator_eq_bot_iff_center_eq_top
View on Github →
2025-07-23 08:49
Mathlib/GroupTheory/Abelianization.lean
feat(GroupTheory/SpecificGroups/Alternating/KleinFour): the Klein Four subgroup of alternatingGroup on 4 letters (#27057) …
Added
commutator_eq_bot_iff_center_eq_top
View on Github →