Theorem BoxIntegral.Box.not_disjoint_coe_iff_nonempty_inter

Modification history