Theorem BoxIntegral.integrable_neg

Modification history