Theorem BoxIntegral.Box.splitUpper_eq_bot

Modification history