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