Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-12 08:36 3aaa5647

View on Github →

refactor(group_theory/commutator): Golf proof of commutator_comm (#12600) This PR golfs the proof of commutator_comm.

Estimated changes