Theorem Holor.slice_sum

Modification history