Theorem BoxIntegral.Box.upper_mem_icc

Modification history