Theorem List.permutations'Aux_get_zero

Modification history