Theorem BoxIntegral.Prepartition.le_iff_nonempty_imp_le_and_iUnion_subset

Modification history