Theorem BoxIntegral.Prepartition.eventually_splitMany_inf_eq_filter

Modification history