Theorem List.nthLe_permutations'Aux

Modification history