Theorem Equiv.Perm.IsCycle.eq_swap_of_apply_apply_eq_self

Modification history