∫ Утверждение Mathlib
isTightMeasureSet_singleton_of_innerRegular
Mathlib.MeasureTheory.Measure.Tight
URI: https://scilib.ai/kg/mathlib#MeasureTheory.isTightMeasureSet_singleton_of_innerRegular
∫ Утверждение Mathlib
Mathlib.MeasureTheory.Measure.Tight
URI: https://scilib.ai/kg/mathlib#MeasureTheory.isTightMeasureSet_singleton_of_innerRegular