Theorem BoxIntegral.Integrable.sum_integral_congr

Modification history