Theorem finsum_mul

Modification history