TY - RPRT TI - Properties of the symmetric difference in lattices with complementation AU - Václav Cenker AU - Ivan Chajda AU - Helmut Länger PY - 2025 UR - https://arxiv.org/abs/2506.19980 ID - 2506.19980 ER -