2008年9月4日 (木) 18:41時点における版編集 Kanjy (トーク \| 投稿記録) ビューロクラット、管理者 1,561 回編集 M category ← 古い編集		2008年9月8日 (月) 06:44時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし次の差分 →
7 行 :-------------------------------------- :定理の証明を行う場合に付ける(absファイルで使えるようにするために必要) :theorem ~~:theorm~~ :-------------------------------------- :[[Mizar/本体部/証明したい式\|証明したい式]]

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