Theorem BoxIntegral.Prepartition.mem_ofWithBot

Modification history