Reproduce “A short exposition of the Patak-Tancer theorem on non-embeddability of $k$-complexes in $2k$-manifolds” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.