TY - RPRT TI - Local loop lemma AU - Miroslav Olšák PY - 2019 UR - https://arxiv.org/abs/1902.08791 ID - 1902.08791 ER -