# Commit 2021-04-24 02:33 27cd5c11

View on Github →feat(group_theory/{perm/cycle_type, specific_groups/alternating_group}): the alternating group is generated by 3-cycles (#6949)
Moves the alternating group to a new file, renames `alternating_subgroup`

to `alternating_group`

Proves that any permutation whose support has cardinality 3 is a cycle
Defines `equiv.perm.is_three_cycle`

Shows that the alternating group is generated by 3-cycles