Theorem BoxIntegral.Prepartition.mem_filter

Modification history