:: On a Duality Between Weakly Separated Subspaces of Topological Spaces
:: by Zbigniew Karno
::
:: Received November 9, 1992
:: Copyright (c) 1992 Association of Mizar Users
theorem Th1: :: TSEP_2:1
:: deftheorem Def1 defines constitute_a_decomposition TSEP_2:def 1 :
theorem :: TSEP_2:2
theorem :: TSEP_2:3
canceled;
theorem Th4: :: TSEP_2:4
theorem Th5: :: TSEP_2:5
theorem Th6: :: TSEP_2:6
theorem :: TSEP_2:7
theorem Th8: :: TSEP_2:8
theorem Th9: :: TSEP_2:9
theorem Th10: :: TSEP_2:10
theorem :: TSEP_2:11
theorem Th12: :: TSEP_2:12
theorem :: TSEP_2:13
theorem Th14: :: TSEP_2:14
theorem :: TSEP_2:15
theorem Th16: :: TSEP_2:16
theorem :: TSEP_2:17
theorem :: TSEP_2:18
theorem Th19: :: TSEP_2:19
theorem :: TSEP_2:20
theorem :: TSEP_2:21
theorem Th22: :: TSEP_2:22
theorem Th23: :: TSEP_2:23
theorem Th24: :: TSEP_2:24
theorem Th25: :: TSEP_2:25
theorem Th26: :: TSEP_2:26
theorem Th27: :: TSEP_2:27
theorem Th28: :: TSEP_2:28
theorem Th29: :: TSEP_2:29
:: deftheorem Def2 defines constitute_a_decomposition TSEP_2:def 2 :
theorem Th30: :: TSEP_2:30
theorem :: TSEP_2:31
canceled;
theorem Th32: :: TSEP_2:32
theorem :: TSEP_2:33
theorem Th34: :: TSEP_2:34
theorem Th35: :: TSEP_2:35
theorem :: TSEP_2:36
theorem Th37: :: TSEP_2:37
theorem :: TSEP_2:38
theorem Th39: :: TSEP_2:39
theorem :: TSEP_2:40
theorem Th41: :: TSEP_2:41
theorem :: TSEP_2:42
theorem :: TSEP_2:43
theorem :: TSEP_2:44
theorem :: TSEP_2:45
theorem Th46: :: TSEP_2:46
theorem :: TSEP_2:47
theorem :: TSEP_2:48
theorem :: TSEP_2:49