Theorem Equiv.Perm.mem_cycleFactorsFinset_iff

Modification history