Theorem List.getD_append_right

Modification history