Theorem intervalIntegral.inv_mul_integral_comp_div_add

Modification history