Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.perm.cycle_factors_finset

Modification history

2021-06-22 11:36

src/group_theory/perm/cycles.lean

feat(group_theory/perm/cycles): cycle_factors_finset (#7540)

Added equiv.perm.cycle_factors_finset View on Github →