Theorem Equiv.Perm.sameCycle_zpow_right

Modification history