Skip to content

Record separate c=5 weight-2-family and all-ones-window centre counterexamples - #7058

Open
unpaidmoon wants to merge 2 commits into
CrocSwap:mainfrom
unpaidmoon:cursor/c5-mask-centre-nondetermination-704a
Open

Record separate c=5 weight-2-family and all-ones-window centre counterexamples#7058
unpaidmoon wants to merge 2 commits into
CrocSwap:mainfrom
unpaidmoon:cursor/c5-mask-centre-nondetermination-704a

Narrow the c=5 centre note to two separate counterexamples.

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