Theorem BoxIntegral.Prepartition.le_biUnion_iff

Modification history