∫ Утверждение Mathlib

uniformOn_empty_meas

Mathlib.Probability.UniformOn

URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.uniformOn_empty_meas

← MathLib Explorer