:: Monotonic and Continuous Real Function
:: by Jaros{\l}aw Kotowicz
::
:: Received January 10, 1991
:: Copyright (c) 1991 Association of Mizar Users
theorem :: FCONT_3:1
canceled;
theorem :: FCONT_3:2
canceled;
theorem :: FCONT_3:3
canceled;
theorem :: FCONT_3:4
canceled;
theorem :: FCONT_3:5
canceled;
theorem :: FCONT_3:6
canceled;
theorem :: FCONT_3:7
canceled;
theorem :: FCONT_3:8
canceled;
theorem Th9: :: FCONT_3:9
theorem :: FCONT_3:10
theorem Th11: :: FCONT_3:11
theorem :: FCONT_3:12
theorem Th13: :: FCONT_3:13
theorem Th14: :: FCONT_3:14
theorem :: FCONT_3:15
theorem :: FCONT_3:16
theorem Th17: :: FCONT_3:17
theorem Th18: :: FCONT_3:18
theorem Th19: :: FCONT_3:19
theorem Th20: :: FCONT_3:20
theorem Th21: :: FCONT_3:21
theorem Th22: :: FCONT_3:22
theorem Th23: :: FCONT_3:23
theorem Th24: :: FCONT_3:24
theorem :: FCONT_3:25
theorem :: FCONT_3:26
theorem :: FCONT_3:27
theorem :: FCONT_3:28
theorem :: FCONT_3:29
theorem :: FCONT_3:30
theorem :: FCONT_3:31
theorem :: FCONT_3:32
theorem :: FCONT_3:33
theorem :: FCONT_3:34