Theorem List.take_sum_flatten

Modification history