Theorem Finsupp.linearCombination_eq_fintype_linearCombination

Modification history