Theorem List.drop_take_append_drop

Modification history