Theorem MeasureTheory.lintegral_image_eq_lintegral_abs_deriv_mul

Modification history

2025-06-18 09:26
Mathlib/MeasureTheory/Function/JacobianOneDim.lean
chore: split the file `MeasureTheory.Function.Jacobian` (#26069) …
Added MeasureTheory.lintegral_image_eq_lintegral_abs_deriv_mulView on Github →