Theorem Multiset.sum_nat_mod

Modification history