Martin Escardo 23rd Feb 2026. A result by David Wärn.

Moved from this place to `AlgebraicStructuresForcingSethood` 17th April 2026.

\begin{code}

{-# OPTIONS --safe --without-K #-}

module gist.ThereAreNoHigherSemilattices where

import AlgebraicStructuresForcingSethood.Semilattices

\end{code}