∫ Утверждение Mathlib
compact_supp
Mathlib.Analysis.Distribution.ContDiffMapSupportedIn
URI: https://scilib.ai/kg/mathlib#ContDiffMapSupportedIn.compact_supp
∫ Утверждение Mathlib
Mathlib.Analysis.Distribution.ContDiffMapSupportedIn
URI: https://scilib.ai/kg/mathlib#ContDiffMapSupportedIn.compact_supp