Theorem Equiv.Perm.cycleType_inv

Modification history