Theorem BoxIntegral.Prepartition.disjoint_boxes_of_disjoint_unionᵢ

Modification history