Mathlib v3 is deprecated. Go to Mathlib v4

Theorem abelianization_congr_refl

Modification history

2022-01-22 18:38
src/group_theory/abelianization.lean
feat(group_theory/abelianization): add mul_equiv.abelianization_congr (#11466)
Added abelianization_congr_reflView on Github →