Theorem List.drop_length_cons

Modification history