Theorem Equiv.Perm.closure_prime_cycle_swap

Modification history