Definition of one-to-one/injective linear transformation, coordinate vector space

math.la.d.lintrans.injective.coord