Import density Hales–Jewett and Szemerédi theorems - #476

Open

Vilin97 wants to merge 22 commits into

mainfrom

codex/import42-densityhalesjewett

Commits on Sep 21, 2026

Import complete densityhalesjewett proof development
Vilin97
committed
dfc4aee
Complete density theorem import checks
Vilin97
committed
9873a41

Commits on Sep 22, 2026

Merge remote-tracking branch 'origin/main' into pr-476
github-actions[bot]
committed
43a8a61

Commits on Sep 23, 2026

Merge remote-tracking branch 'origin/main' into pr-476
github-actions[bot]
committed
eb24ab5
Merge remote-tracking branch 'origin/main' into pr-476
github-actions[bot]
committed
b4377d7

Commits on Sep 24, 2026

Merge remote-tracking branch 'origin/main' into pr-476
github-actions[bot]
committed
e4684e8

Commits on Sep 25, 2026

Commits on Sep 26, 2026

Commits on Sep 27, 2026

Merge remote-tracking branch 'origin/main' into pr-476
github-actions[bot]
committed
5a90eb0