Theorem integral_mul_const_of_integrable

Modification history