Theorem BoxIntegral.HasIntegral.of_mul

Modification history