Theorem BoxIntegral.Prepartition.mem_restrict'

Modification history