Theorem integral_const_mul_of_integrable

Modification history