Theorem Equiv.Perm.cycleFactorsFinset_eq_list_toFinset

Modification history