Theorem Equiv.Perm.sum_cycleType

Modification history