Theorem List.permutations'Aux_eq_permutationsAux2

Modification history