Theorem List.count_permutations'Aux_self

Modification history