[mizar] how to prove...

["Ozyavas, Adem" <adem.ozyavas@ttu.edu>]

Dear All,

How does one go about proving that a real number is not a finite sequence:

for n being real number holds not n is FinSequence

Thanks...

Adem Ozyavas