Theorem MeasureTheory.integral_Iic_mul_deriv_eq_deriv_mul

Modification history

2024-03-07 20:58
Mathlib/MeasureTheory/Integral/IntegralEqImproper.lean
feat: improper integration by parts (#10874)
Added MeasureTheory.integral_Iic_mul_deriv_eq_deriv_mulView on Github →