Theorem List.permutationsAux_nil

Modification history