Theorem BoxIntegral.Box.splitLower_eq_self

Modification history