Theorem Equiv.Perm.one_lt_of_mem_cycleType

Modification history