ByNobleID
    A criterion for a locally distributive semilattice to have CAT(0) orthoscheme complex | NobleID