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