Theorem List.permutationsAux2_snd_cons

Modification history