Definition of onto/surjective linear transformation, coordinate vector space

math.la.d.lintrans.surjective.coord