fix: correct Section 6.7 goal typo#3

Open

nightcityblade wants to merge 1 commit into

lean-forward:mainfrom

nightcityblade:fix/issue-2

nightcityblade commented May 25, 2026

Fixes #2

Summary

Corrected the Section 6.7 induction goal in both PDF versions to include m : ℕ and hm : m = 2 * n + 1.

Verification

Extracted text from both PDFs and confirmed the corrected snippet appears in Section 6.7.


          fix: correct Section 6.7 goal typo

c6e3563

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet