theorem Th47: :: MATRTOP1:47

for n, m being Nat
for M being Matrix of n,m,F_Real holds Mx2Tran M is continuous