Theorem Finsupp.sum_option_index_smul

Modification history