Chapter 8.6 Functional Induction - simp ack is unsued#216

rubydusa wants to merge 1 commit into

leanprover:masterleanprover/theorem_proving_in_lean4:masterfrom

rubydusa:Rubydusa/remove-unnecessary-ackrubydusa/theorem_proving_in_lean4:Rubydusa/remove-unnecessary-ackCopy head branch name to clipboard