Theorem Equiv.Perm.cycleOf_inv

Modification history