theorem canLinuni: :: VECTSP13:6

for F being Field
for U, V being VectSp of F
for B being Basis of U
for T1, T2 being linear-transformation of U,V st T1 | B = T2 | B holds
T1 = T2