Theorem ProbabilityTheory.uniformOn_add_compl_eq

Modification history

2024-10-11 07:20
Mathlib/Probability/UniformOn.lean
chore: rename `condCount` to `uniformOn` (#17571)
Added ProbabilityTheory.uniformOn_add_compl_eqView on Github →