Theorem IsIntegral.multiset_sum

Modification history