theorem Th28: :: SPPOL_2:28

for f being FinSequence of (TOP-REAL 2) st f is unfolded holds
Rev f is unfolded