Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-02 16:01 4588400f

View on Github →

chore(group_theory/*): refactor quotient groups to use bundled subgroups (#3321)

Estimated changes