Theorem BoxIntegral.Prepartition.inf_splitMany

Modification history