theorem Th11: :: MESFUNC3:11

for F being FinSequence of REAL holds F is FinSequence of ExtREAL