Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-02 08:53 664b5bed

View on Github →

feat(group_theory/subgroup/basic): add commute_of_normal_of_disjoint (#11751)

Estimated changes