Theorem List.perm_of_mem_permutations

Modification history