Def equiv.perm.cycle_factors_aux
Modification history
2021-04-06 09:41
src/group_theory/perm/cycles.lean
feat(group_theory/perm/*): facts about the cardinality of the support of a permutation (#6951) …
Added equiv.perm.cycle_factors_auxView on Github →