Theorem continuous_sum_elim

Modification history