Theorem lintegral_Iic_eq_lintegral_Iio_add_Icc

Modification history

2024-01-05 13:07
Mathlib/Probability/Distributions/Exponential.lean
feat : Add Gamma distribution (#9408) …
Modified lintegral_Iic_eq_lintegral_Iio_add_IccView on Github →
2023-11-21 21:57
Mathlib/Probability/Distributions/Exponential.lean
feat: Real Exponential Distribution (#8253) …
Added lintegral_Iic_eq_lintegral_Iio_add_IccView on Github →