Skip to content

Prove no second after-cover keeps the one-weight gap and equals C (no κ) - #7078

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/g20-second-after-cover-obstruction-effe
Open

Prove no second after-cover keeps the one-weight gap and equals C (no κ)#7078
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/g20-second-after-cover-obstruction-effe

Prove no second after-cover keeps the one-weight gap and equals C.

4766117
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 10, 2026 in 4m 52s