「Mizar/本体部」の版間の差分

削除された内容 追加された内容
Ocyacya (トーク | 投稿記録)
編集の要約なし
Ocyacya (トーク | 投稿記録)
編集の要約なし
13 行
:定理の証明を行う場合に付ける(absファイルで使えるようにするために必要)
:theorem
:--------------------------------------
::[[Mizar/本体部/証明したい式|証明したい式]]
:[[Mizar/本体部/proof|proof]]
20 ⟶ 19行目:
::[[Mizar/本体部/結果|結果]]
:end;
:--------------------------------------
 
{{DEFAULTSORT:Mizar ほんたいぶ}}