ホーム
おまかせ表示
ログイン
設定
寄付
ウィキブックスについて
免責事項
検索
Mizar/定義式
言語
ウォッチリストに追加
編集
<
Mizar
変数定義
;
定義型
定義式
;
性質
proof ... end;