Theorem Equiv.Perm.isCycleOn_support_cycleOf

Modification history