Repository navigation

Lean: D2 Schur cancellation and endpoint positivity (16 new scoped targets) - #309

Merged

cursor[bot] merged 4 commits into

mainfrom

chatgpt/lean-d2-schur-20261005

Oct 6, 2026

Merged

Lean: D2 Schur cancellation and endpoint positivity (16 new scoped targets)#309
cursor[bot] merged 4 commits into
mainfrom
chatgpt/lean-d2-schur-20261005

Commits on Oct 5, 2026
- Lean D2 Schur and endpoint positivity: 16 scoped companions, 47-target preservation
  d6g8k5htny-coder
  committed
  7168696
Commits on Oct 6, 2026