Theorem BoxIntegral.BoxAdditiveMap.toSmul_apply

Modification history