Definition of codomain of a linear transformation, coordinate vector space

math.la.d.lintrans.codomain.coord