Theorem BoxIntegral.Integrable.of_smul

Modification history