Theorem mul_finsum

Modification history