@misc{indiciae799eb73f9f4d, title = {A technical lemma for congruences of finite lattices}, author = {George Grätzer}, year = {2013}, url = {https://arxiv.org/abs/1308.4607}, note = {Source identifier: 1308.4607} }