Journal of Formalized Mathematics
Reqmnts, 2002
University of Bialystok
Copyright (c) 2002 Association of Mizar Users

Boolean Properties of Sets --- Requirements


Library Committee
Association of Mizar Users

Summary.

This article contains proofs of the theorems which are obvious if the directive 'requirements BOOLE;' will be added to enviroment declaration of the Mizar article.

MML Identifier: BOOLE

Contents (PDF format)

Received April 30, 2002


[ Download a postscript version, MML identifier index, Mizar home page]