Theorem BoxIntegral.integral_sub

Modification history