Theorem List.drop_left

Modification history