Theorem BoxIntegral.Box.withBotCoe_subset_iff

Modification history