Commit 2022-08-16 06:42 6375f851

feat(measure_theory/probability_mass_function): Probability one iff support equals singleton (#15334) a has probability 1 under a pmf iff the support is the singleton {a}