Skip to content

Sharpen leading-section bounds for all completed downsets - #4788

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
JoyboyBrian:brian/leading-section-downset-audit
Oct 23, 2026
Merged

Sharpen leading-section bounds for all completed downsets#4788
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
JoyboyBrian:brian/leading-section-downset-audit

Commits

  1. Commits on Oct 22, 2026