TY - RPRT TI - A short proof of the middle levels theorem AU - Petr Gregor AU - Torsten Mütze AU - Jerri Nummenpalo PY - 2018 UR - https://arxiv.org/abs/1710.08249 ID - 1710.08249 ER -