TY - RPRT TI - On the proofs of Leighton's Graph Covering Theorem, a notion dual to commensurability, and normal virtual retracts AU - Nicholas Touikan AU - Ashot Minasyan PY - 2025 UR - https://arxiv.org/abs/2507.01839 ID - 2507.01839 ER -