Theorem List.map_map_permutationsAux2

Modification history