Theorem List.isCycle_formPerm

Modification history