fix(lean,#17570): docstring hashlife_correct -- status 2026-08-15 + renvoi vers evolveHashlifeFastAtN_correct_uncond - #17644

fix(lean,#17570): docstring hashlife_correct -- status 2026-08-15 + renvoi vers evolveHashlifeFastAtN_correct_uncond#17644

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

fix/17570-hashlife-docstringjsboige/CoursIA:fix/17570-hashlife-docstringCopy head branch name to clipboard