Theorem Equiv.Perm.sameCycle_one

Modification history