Theorem BoxIntegral.Prepartition.isPartition_splitMany

Modification history