Theorem BoxIntegral.Box.ioo_subset_coe

Modification history