Mizar/本体部/置換

出典: フリー教科書『ウィキブックス(Wikibooks)』
< Mizar‎ | 本体部Mizar 置換 から転送)
ナビゲーションに移動 検索に移動

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

等しい

equals

以下の意味と置き換える

-> set means