Swing lattice game and a short proof of the swing lemma for planar semimodular lattices

Gábor Czédli, Géza Makay

The swing lemma, due to G. Grätzer for slim semimodular lattices and extended by G. Czédli and G. Grätzer for all planar semimodular lattices, describes the congruence generated by…