Theorem BoxIntegral.BoxAdditiveMap.map_split_add

Modification history