Theorem BoxIntegral.Box.coe_subset_coe

Modification history