Thus, a typical Mizar article is about four times as long as an equivalent paper written in ordinary style.
Deswegen ist ein typischer Mizar-Artikel etwa viermal länger als ein äquivalentes Paper, das in gewöhnlichem Stil verfasst wurde.