:: Boolean Properties of Sets - Requirements
:: by Library Committee
::
:: Received April 30, 2002
:: Copyright (c) 2002 Association of Mizar Users
theorem :: BOOLE:1
theorem :: BOOLE:2
theorem :: BOOLE:3
theorem :: BOOLE:4
theorem :: BOOLE:5
Lm1:
for X being set st X is empty holds
X = {}
theorem :: BOOLE:6
theorem :: BOOLE:7
theorem :: BOOLE:8