Theorem MeasureTheory.integral_fin_nat_prod_eq_prod

Modification history

2024-03-04 21:27
Mathlib/MeasureTheory/Integral/Pi.lean
feat: Fourier integral of Gaussians on inner product spaces (#11035) …
Modified MeasureTheory.integral_fin_nat_prod_eq_prodView on Github →
2023-12-10 14:38
Mathlib/MeasureTheory/Integral/Pi.lean
feat(MeasureTheory/Integral/Pi): dependent types, values in R or C (#8948) …
Added MeasureTheory.integral_fin_nat_prod_eq_prodView on Github →