Theorem BoxIntegral.Prepartition.restrict_split

Modification history