Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-15 16:12 00e80a63

View on Github →

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.

Estimated changes