Theorem List.drop_sum_flatten'

Modification history