Theorem IntervalIntegrable.integral_smul

Modification history