Theorem ProbabilityTheory.uniformOn_isProbabilityMeasure

Modification history

2026-01-27 20:36
Mathlib/Probability/UniformOn.lean
feat(Probability): `UniformOn_univ_instIsProbabilityMeasure` (#33613) …
Deleted ProbabilityTheory.uniformOn_isProbabilityMeasureView on Github →
2024-10-11 07:20
Mathlib/Probability/UniformOn.lean
chore: rename `condCount` to `uniformOn` (#17571)
Added ProbabilityTheory.uniformOn_isProbabilityMeasureView on Github →