Skip to content

Record that c=1 movers miss the 8-dimensional dihedral summand. - #7059

Open
unpaidmoon wants to merge 2 commits into
CrocSwap:mainfrom
unpaidmoon:cursor/c1-mover-8-summand-007e
Open

Record that c=1 movers miss the 8-dimensional dihedral summand.#7059
unpaidmoon wants to merge 2 commits into
CrocSwap:mainfrom
unpaidmoon:cursor/c1-mover-8-summand-007e

Rename the orthonormal basis in the mover proof.

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