Theorem intervalIntegral.integral_comp_smul_deriv''

Modification history