:: Boolean Domains
:: by Andrzej Trybulec and Agata Darmochwa\l
::
:: Received April 14, 1989
:: Copyright (c) 1990 Association of Mizar Users
:: deftheorem Def1 defines cup-closed FINSUB_1:def 1 :
:: deftheorem defines cap-closed FINSUB_1:def 2 :
:: deftheorem Def3 defines diff-closed FINSUB_1:def 3 :
:: deftheorem Def4 defines preBoolean FINSUB_1:def 4 :
theorem :: FINSUB_1:1
canceled;
theorem :: FINSUB_1:2
canceled;
theorem :: FINSUB_1:3
canceled;
theorem :: FINSUB_1:4
canceled;
theorem :: FINSUB_1:5
canceled;
theorem :: FINSUB_1:6
canceled;
theorem :: FINSUB_1:7
canceled;
theorem :: FINSUB_1:8
canceled;
theorem :: FINSUB_1:9
canceled;
theorem Th10: :: FINSUB_1:10
theorem :: FINSUB_1:11
canceled;
theorem :: FINSUB_1:12
canceled;
theorem Th13: :: FINSUB_1:13
theorem Th14: :: FINSUB_1:14
theorem :: FINSUB_1:15
theorem :: FINSUB_1:16
theorem :: FINSUB_1:17
theorem Th18: :: FINSUB_1:18
theorem :: FINSUB_1:19
canceled;
theorem Th20: :: FINSUB_1:20
theorem :: FINSUB_1:21
:: deftheorem Def5 defines Fin FINSUB_1:def 5 :
theorem :: FINSUB_1:22
canceled;
theorem Th23: :: FINSUB_1:23
theorem :: FINSUB_1:24
theorem :: FINSUB_1:25
theorem Th26: :: FINSUB_1:26
theorem Th27: :: FINSUB_1:27
theorem :: FINSUB_1:28
theorem :: FINSUB_1:29
canceled;
theorem :: FINSUB_1:30
theorem :: FINSUB_1:31
canceled;
theorem :: FINSUB_1:32
theorem :: FINSUB_1:33
canceled;
theorem :: FINSUB_1:34