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