mathlib

b84aee74 - feat (measure_theory/integral): some simple substitution rules (#19106)

feat (measure_theory/integral): some simple substitution rules (#19106) This adds a few lemmas for evaluating integrals, and showing that integrability is preserved, by substitutions of the form `x ↦ a * x` or `x ↦ x ^ a`.