Theorem Finsupp.mem_span_image_iff_linearCombination

Modification history