The top documents tagged [upper semimodular lattice]