Theorem intervalIntegral.mul_integral_comp_mul_add

Modification history