Dynamically Verifiable Documentation of Mathematics using Mizar

編集して保存をクリックしてください。Wikiの構文については syntax を参考にしてください。当然のことですが、この文書の質を 向上 させる場合のみ編集してください。もし編集方法や構文を練習したいのであれば playground を利用してください。