Theorem BoxIntegral.Box.mem_coe

Modification history