:: Properties of Caratheodor's Measure
:: by J\'ozef Bia{\l}as
::
:: Received June 25, 1992
:: Copyright (c) 1992 Association of Mizar Users
theorem Th1: :: MEASURE4:1
theorem Th2: :: MEASURE4:2
theorem :: MEASURE4:3
canceled;
theorem Th4: :: MEASURE4:4
theorem Th5: :: MEASURE4:5
theorem Th6: :: MEASURE4:6
theorem Th7: :: MEASURE4:7
theorem Th8: :: MEASURE4:8
theorem :: MEASURE4:9
canceled;
theorem :: MEASURE4:10
canceled;
theorem :: MEASURE4:11
canceled;
:: deftheorem MEASURE4:def 1 :
canceled;
:: deftheorem Def2 defines C_Measure MEASURE4:def 2 :
:: deftheorem Def3 defines sigma_Field MEASURE4:def 3 :
theorem Th12: :: MEASURE4:12
theorem :: MEASURE4:13
canceled;
theorem Th14: :: MEASURE4:14
theorem Th15: :: MEASURE4:15
theorem Th16: :: MEASURE4:16
theorem Th17: :: MEASURE4:17
theorem Th18: :: MEASURE4:18
theorem Th19: :: MEASURE4:19
theorem Th20: :: MEASURE4:20
theorem Th21: :: MEASURE4:21
:: deftheorem Def4 defines sigma_Meas MEASURE4:def 4 :
theorem Th22: :: MEASURE4:22
theorem Th23: :: MEASURE4:23
theorem Th24: :: MEASURE4:24
theorem :: MEASURE4:25