TY - RPRT TI - A book proof of the middle levels theorem AU - Torsten Mütze PY - 2024 UR - https://arxiv.org/abs/2306.13019 ID - 2306.13019 ER -