Theorem Equiv.Perm.SameCycle.apply_eq_self_iff

Modification history