Theorem List.drop_eq_get_cons

Modification history