Theorem List.length_permutationsAux

Modification history