Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
abelianization.equiv_of_comm
Modification history
2022-01-25 12:25
src/group_theory/abelianization.lean
feat(group_theory/abelianization): add abelianization_of_comm_group (#11467)
Added
abelianization.equiv_of_comm
View on Github →