Theorem Equiv.Perm.cycleType_conj

Modification history