The Mizar Mathematical Library (MML) includes all theorems to which authors can refer in newly written articles.
The Mizar Mathematical Library (MML) enthält alle Theoreme, auf welche sich neue Artikel beziehen können.