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