Commit 2021-09-28 07:29 22f24091
View on Github →chore(measure_theory/integral/interval_integral): change of variables for normed-space target (#9350)
Re-state change of variables for interval_integral for a function with target a real normed space E, rather than just ℝ. The proofs are exactly the same.