Theorem List.permutations_perm_permutations'

Modification history