Theorem BoxIntegral.Integrable.dist_integralSum_le_of_memBaseSet

Modification history