Theorem Equiv.Perm.sign_of_cycleType'

Modification history