Theorem List.nthLe_zero

Modification history