Theorem List.nthLe_take

Modification history