:: deftheorem Def10 defines LineVec2Mx MATRIXR1:def 10 :
for x being FinSequence of REAL
for b₂ being Matrix of REAL holds
( b₂ = LineVec2Mx x iff ( width b₂ = len x & len b₂ = 1 & ( for j being Nat st j in dom x holds
b₂ * (1,j) = x . j ) ) );