Theorem intervalIntegral.integral_comp_smul_deriv'

Modification history