Theorem Finset.sum_tsub_distrib

Modification history