TY - RPRT TI - On locally finite orthomodular lattices AU - Dominika Burešová AU - Pavel Pták PY - 2022 UR - https://arxiv.org/abs/2204.07521 ID - 2204.07521 ER -