theorem :: VECTSP13:18

for F being Field
for U, V being finite-dimensional VectSp of F
for B being Basis of U
for f being Function of B,V
for T being linear-transformation of U,V holds
( T = canLinTrans f iff for u being Element of U st u in B holds
T . u = f . u )