mathlib3

04094c4b - feat(analysis/box_integral): Divergence thm for a Henstock-style integral (#9496)

feat(analysis/box_integral): Divergence thm for a Henstock-style integral (#9496) * Define integrals of Riemann, McShane, and Henstock (plus a few variations). * Prove basic properties. * Prove a version of the divergence theorem for one of these integrals. * Prove that a Bochner integrable function is McShane integrable.