Theorem List.prev_nthLe

Modification history