Theorem Equiv.Perm.isCycleOn_one

Modification history