Theorem DFinsupp.finset_sum_apply

Modification history