∫ Утверждение Mathlib
box_injective
Mathlib.Analysis.BoxIntegral.UnitPartition
URI: https://scilib.ai/kg/mathlib#BoxIntegral.unitPartition.box_injective
∫ Утверждение Mathlib
Mathlib.Analysis.BoxIntegral.UnitPartition
URI: https://scilib.ai/kg/mathlib#BoxIntegral.unitPartition.box_injective