Theorem Finsupp.univ_sum_single

Modification history