Theorem List.drop_append_eq_append_drop

Modification history