Theorem ProbabilityTheory.map_ncard_setBernoulli_real_singleton

Modification history

2026-06-06 16:12
Mathlib/Probability/Distributions/SetBernoulli.lean
feat: API for binomial distribution (#37736) …
Added ProbabilityTheory.map_ncard_setBernoulli_real_singletonView on Github →