Theorem Equiv.Perm.isCycle_of_prime_order'

Modification history