Def PMF.binomial
Modification history
2025-07-12 23:16
Mathlib/Probability/ProbabilityMassFunction/Binomial.lean
refactor(Probability/ProbabilityMassFunction): Make constructions use NNReal (#26596) …
Modified PMF.binomialView on Github →2025-07-04 15:43
Mathlib/Probability/ProbabilityMassFunction/Binomial.lean
chore: remove unnecessary `noncomputable` attributes after 4.22.0 rc3 (#26751) …
Added PMF.binomialView on Github →