Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-12 07:17 9cc8835b

View on Github →

feat(group_theory/perm/subgroup): Add some simple subgroups of permutations (#5279)

Estimated changes