Theorem ProbabilityTheory.binomial_tendsto_poissonPMFReal_atTop

Modification history

2026-10-10 09:42
Mathlib/Probability/Distributions/Poisson/PoissonLimitThm.lean
chore: delete deprecated declarations to March 2026 (#44240)
Deleted ProbabilityTheory.binomial_tendsto_poissonPMFReal_atTopView on Github →
2026-06-06 16:12
Mathlib/Probability/Distributions/Poisson/PoissonLimitThm.lean
feat: API for binomial distribution (#37736) …
Modified ProbabilityTheory.binomial_tendsto_poissonPMFReal_atTopView on Github →
2026-03-06 16:20
Mathlib/Probability/Distributions/Poisson/PoissonLimitThm.lean
feat(ProbabilityTheory): add Poisson limit theorem (#33449)
Added ProbabilityTheory.binomial_tendsto_poissonPMFReal_atTopView on Github →