Def ProbabilityTheory.poissonMeasure

Modification history

2024-01-16 10:45

Mathlib/Probability/Distributions/Poisson.lean

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

Modified ProbabilityTheory.poissonMeasure View on Github →

2024-01-10 17:15

Mathlib/Probability/Distributions/Poisson.lean

Feat : Define the Poisson distribution (#9554) …

Added ProbabilityTheory.poissonMeasure View on Github →