Theorem PMF.binomial_apply_of_le

Modification history

2026-03-06 16:20
Mathlib/Probability/ProbabilityMassFunction/Binomial.lean
feat(ProbabilityTheory): add Poisson limit theorem (#33449)
Added PMF.binomial_apply_of_leView on Github →