Journal of Formalized Mathematics, Requirements

Table of Contents

• Boolean Properties of Sets --- Requirements
  by Library Committee
  
• Basic Properties of Subsets --- Requirements
  by Library Committee
  
• Numerals --- Requirements
  by Library Committee
  
• Basic Properties of Real Numbers --- Requirements
  by Library Committee
  
• Field Properties of Complex Numbers --- Requirements
  by Library Committee