Mizar/定義式

リンクを追加
出典: フリー教科書『ウィキブックス（Wikibooks）』
変数定義;
定義型 定義式;

性質
 proof
  ...
 end;
"https://ja.wikibooks.org/w/index.php?title=Mizar/定義式&oldid=38529" より作成