Theorem List.drop_append

Modification history