Theorem intervalIntegral.mul_integral_comp_mul_sub

Modification history