Theorem Equiv.Perm.SameCycle.eq_of_left

Modification history