Theorem List.cycleType_formPerm

Modification history