Theorem BoxIntegral.Box.coe_subset_icc

Modification history