Theorem ProbabilityTheory.isProbabilityMeasure_uniformOn'

Modification history

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