Mathlib v3 is deprecated. Go to Mathlib v4

Def mul_equiv.abelianization_congr

Modification history

2022-01-22 18:38

src/group_theory/abelianization.lean

feat(group_theory/abelianization): add mul_equiv.abelianization_congr (#11466)

Added mul_equiv.abelianization_congr View on Github →