ホーム
おまかせ表示
ログイン
設定
寄付
ウィキブックスについて
免責事項
検索
Mizar/本体部/置換
言語
ウォッチリストに追加
編集
<
Mizar
|
本体部
置換処理を行う為に次のようなパターンがある
等しい
equals
以下の意味と置き換える
-> set means