Theorem Finsupp.indicator_eq_sum_single

Modification history