Theorem BoxIntegral.Prepartition.unionᵢ_disjUnion

Modification history