Theorem intervalIntegral.integral_const

Modification history