ホーム
おまかせ表示
ログイン
設定
寄付
ウィキブックスについて
免責事項
検索
「Mizar/本体部」の版間の差分
言語
ウォッチリストに追加
編集
履歴の双方向閲覧
← 古い編集
次の差分 →
削除された内容
追加された内容
ビジュアル
ウィキテキスト
2009年3月10日 (火) 08:16時点における版
編集
Ocyacya
(
トーク
|
投稿記録
)
357
回編集
編集の要約なし
← 古い編集
2009年3月17日 (火) 04:42時点における版
編集
取り消し
Ocyacya
(
トーク
|
投稿記録
)
357
回編集
編集の要約なし
次の差分 →
13 行
:定理の証明を行う場合に付ける(absファイルで使えるようにするために必要)
:theorem
:--------------------------------------
▼
::[[Mizar/本体部/証明したい式|証明したい式]]
:[[Mizar/本体部/proof|proof]]
20 ⟶ 19行目:
::[[Mizar/本体部/結果|結果]]
:end;
▲
:--------------------------------------
{{DEFAULTSORT:Mizar ほんたいぶ}}