Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-05-29 15:48 a2d2537c

View on Github →

feat(analysis/probability_mass_function): add bernoulli

Estimated changes

Modified analysis/nnreal.lean

Modified analysis/probability_mass_function.lean

added def pmf.bernoulli

added def pmf.of_fintype