Def ProbabilityTheory.poissonPMFReal

Modification history

2024-04-15 01:53

Mathlib/Probability/Distributions/Poisson.lean

chore: superfluous parentheses part 2 (#12131)

Modified ProbabilityTheory.poissonPMFReal View on Github →

2024-01-16 10:45

Mathlib/Probability/Distributions/Poisson.lean

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

Added ProbabilityTheory.poissonPMFReal View on Github →