mathlib

c96fb62b - refactor(group_theory/*): Rename `general_commutator.lean` to `commutator.lean` (#12388)