Mathlib Changelog
v4
Changelog
About
Github
Theorem
MeasureTheory.HasCompactSupport.integral_Iic_deriv_eq
Modification history
2023-11-07 20:49
Mathlib/MeasureTheory/Integral/IntegralEqImproper.lean
fix: fixes of 3 PRs (#8248) …
Deleted
MeasureTheory.HasCompactSupport.integral_Iic_deriv_eq
View on Github →
2023-10-30 20:20
Mathlib/MeasureTheory/Integral/IntegralEqImproper.lean
feat: additional version of FTC-2 for improper integrals (#7755) …
Added
MeasureTheory.HasCompactSupport.integral_Iic_deriv_eq
View on Github →