8章では関数の全域性の主張の作り方をやりました 9章では定理の帰納法の作り方をやります 具体的に言うと、list-inductionとかstar-inductionに当たるものを作るということです いやちょっと違うな
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。