A linear transformation is onto/surjective if and only if the columns of its matrix span the codomain.

math.la.t.lintrans.surjective.span