Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-10 10:46 b7360f94

View on Github →

feat(group_theory/general_commutator): subgroup.prod commutes with the general_commutator (#11818)

Estimated changes

added theorem map_general_commutator