:: Tietze {E}xtension {T}heorem
:: by Artur Korni{\l}owicz , Grzegorz Bancerek and Adam Naumowicz
::
:: Received September 14, 2005
:: Copyright (c) 2005 Association of Mizar Users
theorem Th1: :: TIETZE:1
theorem :: TIETZE:2
canceled;
theorem :: TIETZE:3
canceled;
theorem Th4: :: TIETZE:4
theorem :: TIETZE:5
:: deftheorem Def1 defines is_absolutely_bounded_by TIETZE:def 1 :
theorem :: TIETZE:6
theorem :: TIETZE:7
theorem Th8: :: TIETZE:8
theorem Th9: :: TIETZE:9
theorem :: TIETZE:10
theorem Th11: :: TIETZE:11
theorem Th12: :: TIETZE:12
theorem Th13: :: TIETZE:13
theorem Th14: :: TIETZE:14
theorem Th15: :: TIETZE:15
theorem Th16: :: TIETZE:16
theorem Th17: :: TIETZE:17
theorem Th18: :: TIETZE:18
theorem Th19: :: TIETZE:19
theorem Th20: :: TIETZE:20
theorem Th21: :: TIETZE:21
theorem Th22: :: TIETZE:22
theorem Th23: :: TIETZE:23
theorem Th24: :: TIETZE:24
theorem :: TIETZE:25
theorem :: TIETZE:26