コンテンツにスキップ
メインメニュー
メインメニュー
サイドバーに移動
非表示
ナビゲーション
メインページ
コミュニティ・ポータル
談話室
最近の更新
おまかせ表示
アップロード(ウィキメディア・コモンズ)
ヘルプ
ヘルプ
検索
検索
表示
寄付
アカウント作成
ログイン
個人用ツール
寄付
アカウント作成
ログイン
Mizar/本体部/置換
言語を追加
リンクを追加
本文
議論
日本語
閲覧
編集
履歴表示
ツールボックス
ツール
サイドバーに移動
非表示
操作
閲覧
編集
履歴表示
全般
リンク元
関連ページの更新状況
特別ページ
この版への固定リンク
ページ情報
このページを引用
短縮URLを取得する
QRコードをダウンロード
印刷/書き出し
ブックの新規作成
PDF 形式でダウンロード
印刷用バージョン
他のプロジェクト
表示
サイドバーに移動
非表示
出典: フリー教科書『ウィキブックス(Wikibooks)』
<
Mizar
|
本体部
置換処理を行う為に次のようなパターンがある
等しい
equals
以下の意味と置き換える
-> set means
カテゴリ
:
Mizar