Commit 2021-04-06 18:32 aa5ec528
View on Github →feat(group_theory/perm/cycles): Applying cycle_of to an is_cycle (#7000) Applying cycle_of to an is_cycle gives you either the original cycle or 1.
feat(group_theory/perm/cycles): Applying cycle_of to an is_cycle (#7000) Applying cycle_of to an is_cycle gives you either the original cycle or 1.