[[!redirects distributive lattice]] < [[nlab:distributive lattice]] category: redirected to nlab