Revisiting the representation theorem of finite distributive lattices with principal congruences

G. Grätzer, H. Lakser

A classical result of R.\,P. Dilworth states that every finite distributive lattice $D$ can be represented as the congruence lattice of a finite lattice~$L$. A~sharper form was pub…