Theorem List.take_sum_flatten'

Modification history