mathlib3

582a82f3 - fix(analysis/box_integral/partition/additive)