Theorem List.drop_sum_flatten

Modification history