Theorem BoxIntegral.Box.splitUpper_eq_self

Modification history