Theorem BoxIntegral.Prepartition.mem_restrict

Modification history