Theorem Equiv.Perm.IsCycleOn.range_zpow

Modification history