Repository navigation

Import the Hajnal–Szemerédi equitable vertex-colouring theorem - #648

Merged

Vilin97 merged 2 commits into

mainfrom

codex/daily-hajnal-szemeredi-20261013

Oct 13, 2026

Merged

Import the Hajnal–Szemerédi equitable vertex-colouring theorem#648
Vilin97 merged 2 commits into
mainfrom
codex/daily-hajnal-szemeredi-20261013

Commits on Oct 13, 2026
- Import the Hajnal–Szemerédi equitable colouring theorem
  Vilin97
  committed
  77e9f67
- Generalize the colour-class update identity
  Vilin97
  committed
  dfbcbd3