Theorem Equiv.Perm.isCycle_of_prime_order''

Modification history