Theorem BoxIntegral.Box.mem_def

Modification history