solleks

The file induction_and_recursion.md has two sections titled "Local recursive declarations". It looks like it was [moved from one place to another](https://github.com/leanprover/theorem_proving_in_lean4/commit/b877fef75226d0f155f5b2fe6c1c6c3863e60b9f) on March 3, 2022 and then it was [restored...