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