Theorem Finsupp.span_image_eq_map_linearCombination

Modification history