Theorem BoxIntegral.Prepartition.IsPartition.exists_splitMany_le

Modification history