∫ Утверждение Mathlib
mem_mk
Mathlib.Analysis.BoxIntegral.Partition.Basic
URI: https://scilib.ai/kg/mathlib#BoxIntegral.Prepartition.mem_mk
∫ Утверждение Mathlib
Mathlib.Analysis.BoxIntegral.Partition.Basic
URI: https://scilib.ai/kg/mathlib#BoxIntegral.Prepartition.mem_mk