Def ProbabilityTheory.poissonPmf

Modification history

2024-01-16 10:45

Mathlib/Probability/Distributions/Poisson.lean

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

Deleted ProbabilityTheory.poissonPmf View on Github →

2024-01-10 17:15

Mathlib/Probability/Distributions/Poisson.lean

Feat : Define the Poisson distribution (#9554) …

Added ProbabilityTheory.poissonPmf View on Github →