Theorem List.permutations_take_two

Modification history