andとorとnot: 次回予告 (2.6)

もう今回の内容でInductiveの扱いは完璧…！

といいたいところなんですが、「再帰的なInductive」の証明テクニックの解説が実はまだ残っています。次は多分それについて書きたいなあと思っています。それかFalse周りの証明をさらにいろいろ。