Theorem Equiv.Perm.sameCycle_pow_left

Modification history