Theorem BoxIntegral.Prepartition.eq_of_boxes_subset_iUnion_superset

Modification history