TY - RPRT TI - A computable version of Hall's Harem Theorem and Geometric von Neumann Conjecture AU - Karol Duda PY - 2025 UR - https://arxiv.org/abs/2105.06304 ID - 2105.06304 ER -