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