Theorem BoxIntegral.Prepartition.unionᵢ_split

Modification history