Theorem BoxIntegral.Box.mem_univ_Ioc

Modification history