Theorem BoxIntegral.Prepartition.not_mem_bot

Modification history