Theorem Finsupp.linearCombination_single_index

Modification history