Theorem ProbabilityTheory.poissonPMFReal_ofReal_eq_poissonPMF

Modification history

2026-10-10 09:42
Mathlib/Probability/Distributions/Poisson/Basic.lean
chore: delete deprecated declarations to March 2026 (#44240)
Deleted ProbabilityTheory.poissonPMFReal_ofReal_eq_poissonPMFView on Github →
2026-03-06 16:20
Mathlib/Probability/Distributions/Poisson/Basic.lean
feat(ProbabilityTheory): add Poisson limit theorem (#33449)
Added ProbabilityTheory.poissonPMFReal_ofReal_eq_poissonPMFView on Github →