Theorem Equiv.Perm.cycleType_eq

Modification history