Slowest-chain conjecture for the Miura-ori flip graph
Slowest-chain conjecture. Among all ν\nuν-chains, the antidiagonal chain maximises