Theorem List.nthLe_append_right

Modification history