Theorem Equiv.Perm.support_cycleOf_nonempty

Modification history