Theorem IsIntegral.multiset_prod

Modification history