Theorem BoxIntegral.Prepartition.iUnion_disjUnion

Modification history