inv_measure_univ_smul_eq_self — Mathlib · SciLib

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

inv_measure_univ_smul_eq_self

Mathlib.MeasureTheory.Measure.Typeclasses.Probability

URI: https://scilib.ai/kg/mathlib#MeasureTheory.inv_measure_univ_smul_eq_self

← MathLib Explorer