Theorem BoxIntegral.Prepartition.IsPartition.eq_of_boxes_subset

Modification history