theorem Th19: :: ENTROPY1:19

for MR being Matrix of REAL holds
( MR is m-nonnegative iff for i being Nat st i in dom MR holds
Line (MR,i) is nonnegative )