Theorem BoxIntegral.Box.mem_mk

Modification history