Theorem BoxIntegral.Box.upper_mem

Modification history