Theorem BoxIntegral.Box.coe_mk'

Modification history