Theorem Equiv.Perm.IsCycle.nonempty_support

Modification history