∫ Утверждение Mathlib
fundamentalFrontier_union_fundamentalInterior
Mathlib.MeasureTheory.Group.FundamentalDomain
URI: https://scilib.ai/kg/mathlib#MeasureTheory.fundamentalFrontier_union_fundamentalInterior
∫ Утверждение Mathlib
Mathlib.MeasureTheory.Group.FundamentalDomain
URI: https://scilib.ai/kg/mathlib#MeasureTheory.fundamentalFrontier_union_fundamentalInterior