Theorem List.drop_sublist

Modification history