Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-28 12:46 1447c401

View on Github →

refactor(group_theory/general_commutator): Rename general_commutator to subgroup.commutator (#12308) This PR renames general_commutator to subgroup.commutator. I'll change the file name in a followup PR, so that this PR is easier to review. (This is one of the several orthogonal changes from https://github.com/leanprover-community/mathlib/pull/12134)

Estimated changes