Mizar/本体部/置換

リンクを追加
出典: フリー教科書『ウィキブックス（Wikibooks）』

置換処理を行う為に次のようなパターンがある

等しい 

equals

以下の意味と置き換える 

-> set means
"https://ja.wikibooks.org/w/index.php?title=Mizar/本体部/置換&oldid=38936" より作成