Theorem BoxIntegral.Box.withBotCoe_inj

Modification history