Theorem Finsupp.span_eq_range_linearCombination

Modification history