Theorem BoxIntegral.Box.upper_mem_Icc

Modification history