Displaying similar documents to “Congruence extension from a semilattice to the freely generated distributive lattice”