Theorem BoxIntegral.Box.exists_mem

Modification history