・DBのThm→Prop・数学の教科書を先に進める・必要な「推論の道具」を揃える
メールアドレスが公開されることはありません。 ※ が付いている欄は必須項目です
コメント ※
名前 ※
メール ※
サイト
次回のコメントで使用するためブラウザーに自分の名前、メールアドレス、サイトを保存する。
adminadminadminadmin