Theorem BoxIntegral.Integrable.to_subbox_aux

Modification history