TY - RPRT TI - Asymmetric coloring of locally finite graphs and profinite permutation groups: Tucker's Conjecture confirmed AU - Laszlo Babai PY - 2021 UR - https://arxiv.org/abs/2110.08492 ID - 2110.08492 ER -