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

iUnion_subset

Mathlib.Analysis.BoxIntegral.Partition.Tagged

URI: https://scilib.ai/kg/mathlib#BoxIntegral.TaggedPrepartition.iUnion_subset

← MathLib Explorer