Theorem BoxIntegral.Box.mk'_eq_coe

Modification history