ホーム
おまかせ表示
ログイン
設定
寄付
ウィキブックスについて
免責事項
検索
Mizar/本体部/型
言語
ウォッチリストに追加
編集
<
Mizar
|
本体部
変数に型を定義する
such that 関数[
変数
];
as
mode型
;