Theorem List.map_permutationsAux2'

Modification history