Theorem List.getD_append

Modification history