Theorem BoxIntegral.Box.injective_coe

Modification history