Def ProbabilityTheory.exponentialPdf

Modification history

2024-01-16 10:45

Mathlib/Probability/Distributions/Exponential.lean

chore : fix camelcase naming of PDF, CDF and PMF (#9681) …

Deleted ProbabilityTheory.exponentialPdf View on Github →

2023-11-21 21:57

Mathlib/Probability/Distributions/Exponential.lean

feat: Real Exponential Distribution (#8253) …

Added ProbabilityTheory.exponentialPdf View on Github →