Theorem Finsupp.sum_smul_index_linearMap'

Modification history