and Dynamically Verifiable Math Docs using Mizar
—-
文書の過去の版を表示しています。
ここには通常の内容（説明文など）が入ります。
こちらも通常の内容です。
