Theorem Finsupp.univ_sum_single_apply'

Modification history