Definition of invertible linear transformation, coordinate vector space

math.la.d.lintrans.invertible.coord