Mathlib Changelog
v4
Changelog
About
Github
Theorem
MeasureTheory.integral_finset_prod_eq_prod
Modification history
2023-12-10 14:38
Mathlib/MeasureTheory/Integral/Pi.lean
feat(MeasureTheory/Integral/Pi): dependent types, values in R or C (#8948) …
Deleted
MeasureTheory.integral_finset_prod_eq_prod
View on Github →
2023-12-07 17:41
Mathlib/MeasureTheory/Integral/Pi.lean
feat: Compute volume of balls of higher dimension for Lp norms (#8030) …
Added
MeasureTheory.integral_finset_prod_eq_prod
View on Github →