subgroup): Add some simple subgroups of permutations (#5279)

Commit

5 years ago

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

Author

eric-wieser

Parents