The odd-cycle naive-dimension conjecture
Odd-cycle naive-dimension conjecture. The cyclic interval lemma holds for every odd mmm; consequently,