Theorem List.get_permutations'Aux

Modification history