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