Theorem List.cycleOf_formPerm

Modification history