Theorem Equiv.Perm.cycleOf_self_apply

Modification history