Theorem Equiv.Perm.isCycleOn_singleton

Modification history