Paper-side line counts per dimension: Lagrangian bound v ≤ T(2^k′+1) with exact ladder D4/D6/E7/E8 and no-gos scoped to windows h ≤ 13 (no κ claim) - #2244

Paper-side line counts per dimension: Lagrangian bound v ≤ T(2^k′+1) with exact ladder D4/D6/E7/E8 and no-gos scoped to windows h ≤ 13 (no κ claim)#2244

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/line-system-saturationDreamingOfClouds/integer-mult-bounds:research/line-system-saturationCopy head branch name to clipboard