Theorem BoxIntegral.Prepartition.restrict_biUnion

Modification history