cycles): Add missing `is_cycle` lemma (#13219)

Commit

3 years ago

feat (group_theory/perm/cycles): Add missing `is_cycle` lemma (#13219) Add `is_cycle.pow_eq_pow_iff`, which extends `is_cycle.pow_eq_one_iff`.

Author

MantasBaksys

Parents