Theorem BoxIntegral.Integrable.smul

Modification history