mathlib3

ec4bdab8 - chore(group_theory/perm/cycle/basic): Move declarations around (#17906)

chore(group_theory/perm/cycle/basic): Move declarations around (#17906) Move the `same_cycle` lemmas before the `is_cycle` ones in order to reduce the diff in #17898. Co-authored-by: Eric Wieser <wieser.eric@gmail.com>