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)