Theorem List.nthLe_drop'

Modification history