Add constant 49 (Erdos-Szemeredi 3-sunflower-free capacity)#36
Merged
teorth merged 2 commits intoteorth:mainfrom Feb 11, 2026
Merged
Add constant 49 (Erdos-Szemeredi 3-sunflower-free capacity)#36teorth merged 2 commits intoteorth:mainfrom
teorth merged 2 commits intoteorth:mainfrom