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_commView on Github →