Theorem List.pairwise_sameCycle_formPerm

Modification history