Theorem List.drop_take

Modification history