:: Heine--Borel's Covering Theorem
:: by Agata Darmochwa{\l} and Yatsuka Nakamura
::
:: Received November 21, 1991
:: Copyright (c) 1991 Association of Mizar Users
theorem Th1: :: HEINE:1
theorem :: HEINE:2
canceled;
theorem :: HEINE:3
canceled;
theorem :: HEINE:4
canceled;
theorem :: HEINE:5
canceled;
theorem Th6: :: HEINE:6
:: deftheorem Def1 defines to_power HEINE:def 1 :
theorem :: HEINE:7
canceled;
theorem :: HEINE:8
canceled;
theorem Th9: :: HEINE:9
theorem :: HEINE:10
canceled;
theorem :: HEINE:11