:: deftheorem Def2 defines AutEqMt MATRLIN2:def 2 :
for K being Field
for V1, V2 being finite-dimensional VectSp of K
for f being Function of V1,V2
for B1 being FinSequence of V1
for b2 being OrdBasis of V2 st len B1 = len b2 holds
AutEqMt (f,B1,b2) = AutMt (f,B1,b2);