Theorem BoxIntegral.Integrable.of_neg

Modification history