Skip to content

Prove the five-request binary full-guard product inequality for every m>=5 (k=5 of #4275 OQ2; no new κ) - #4607

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:five-event
Oct 22, 2026
Merged

Prove the five-request binary full-guard product inequality for every m>=5 (k=5 of #4275 OQ2; no new κ)#4607
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:five-event

Commits

  1. Commits on Oct 22, 2026