Theorem ProbabilityTheory.ae_le_of_hasLaw_binomial

Modification history

2026-03-18 15:17
Mathlib/Probability/Distributions/Binomial.lean
feat: binomial random variables (#28248) …
Added ProbabilityTheory.ae_le_of_hasLaw_binomialView on Github →