Deletes repeated section Local Recursive Definitions in induction_and_recursion.md - Githubissues

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

https://leanprover.github.io/theorem_proving_in_lean4/

Apache License 2.0

164 stars 92 forks source link

Deletes repeated section Local Recursive Definitions in induction_and_recursion.md #135

Open javierlcontreras opened 4 weeks ago