Theorem BoxIntegral.Prepartition.mem_inf

Modification history