Theorem ProbabilityTheory.isProbabilityMeasure_uniformOn

Modification history

2026-01-27 20:36
Mathlib/Probability/UniformOn.lean
feat(Probability): `UniformOn_univ_instIsProbabilityMeasure` (#33613) …
Added ProbabilityTheory.isProbabilityMeasure_uniformOnView on Github →