:: Sequences of Metric Spaces and an Abstract Intermediate Value Theorem
:: by Yatsuka Nakamura and Andrzej Trybulec
::
:: Received September 11, 2002
:: Copyright (c) 2002 Association of Mizar Users
theorem Th1: :: TOPMETR3:1
theorem Th2: :: TOPMETR3:2
theorem Th3: :: TOPMETR3:3
theorem Th4: :: TOPMETR3:4
theorem :: TOPMETR3:5
canceled;
theorem Th6: :: TOPMETR3:6
theorem Th7: :: TOPMETR3:7
theorem Th8: :: TOPMETR3:8
theorem Th9: :: TOPMETR3:9
theorem Th10: :: TOPMETR3:10
theorem :: TOPMETR3:11
theorem :: TOPMETR3:12
theorem :: TOPMETR3:13
canceled;
theorem :: TOPMETR3:14
canceled;
theorem Th15: :: TOPMETR3:15
theorem Th16: :: TOPMETR3:16
theorem Th17: :: TOPMETR3:17
theorem Th18: :: TOPMETR3:18
theorem :: TOPMETR3:19