Theorem List.Sorted.rel_nthLe_of_lt

Modification history