Theorem List.nthLe_reverse'

Modification history