Theorem BoundedContinuousFunction.integral_add_const

Modification history