Theorem List.map_permutations'

Modification history