Theorem continuous_sumElim

Modification history