Skip to content

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

Merge main f5c9cbc into reviewed PR309 without changing formal source

910b624
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar