New Mizar articles

[Library Committee <mml@mizar.uwb.edu.pl>]

Adam Grabowski submitted an article entitled:
      "The Uncompleteness of the Lattice of Substitutions"
        (MML identifier: HEYTING3)

Robert Milewski submitted an article entitled:
      "Trigonometric Form of Complex Numbers"
        (MML identifier: COMPTRIG)

Robert Milewski submitted an article entitled:
      "Fundamental Theorem of Algebra"
        (MML identifier: POLYNOM5)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.org/JFM/Preprints.html

------------

Library Committee of the Association of Mizar Users