Theorem Equiv.Perm.sign_of_cycleType

Modification history