iUnion_restrict — Mathlib · SciLib

∫ Утверждение Mathlib

iUnion_restrict

Mathlib.Analysis.BoxIntegral.Partition.Basic

URI: https://scilib.ai/kg/mathlib#BoxIntegral.Prepartition.iUnion_restrict

← MathLib Explorer