Theorem Equiv.Perm.sameCycle_conj

Modification history