Theorem BoxIntegral.Box.coe_inf

Modification history