Theorem BoxIntegral.Prepartition.IsPartition.nonempty_boxes

Modification history