Theorem Finsupp.univ_sum_single_apply

Modification history