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


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]