Commit 2021-03-27 03:05 bc33f1a9
View on Github →feat(group_theory/perm/cycles): is_cycle_of_is_cycle_pow (#6871)
If g ^ n
is a cycle, and if g ^ n
doesn't have smaller support, then g
is a cycle.
feat(group_theory/perm/cycles): is_cycle_of_is_cycle_pow (#6871)
If g ^ n
is a cycle, and if g ^ n
doesn't have smaller support, then g
is a cycle.