Theorem Equiv.Perm.cycle_zpow_mem_support_iff

Modification history