Coqのsplit, left, rightについてもう少し詳しく

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