Theorem Equiv.Perm.IsCycle.zpowersEquivSupport_apply

Modification history