Theorem intervalIntegral.integral_deriv_eq_sub

Modification history