Wikibooks

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

履歴の双方向閲覧
← 古い編集次の差分 →
削除された内容 追加された内容
ビジュアルウィキテキスト
編集の要約なし
編集の要約なし
3 行
:定義をする
:definition
::[[Mizar 定義式|定義式]];
::定義式;
:end;
:--------------------------------------
"https://ja.wikibooks.org/wiki/Mizar/本体部" より作成