TY - RPRT TI - Cevian operations on distributive lattices AU - Friedrich Wehrung PY - 2019 UR - https://arxiv.org/abs/1901.07548 ID - 1901.07548 ER -