Theorem Equiv.Perm.isCycle_inv

Modification history