Theorem BoxIntegral.Prepartition.mem_single

Modification history