Theorem List.nthLe_cons_length

Modification history