Coqで「任意のxについて…」「あるxが存在して…」を扱う

ブログ移転しました。新しいサイトはこちら:
genkami.github.io