Tom de Jong, 25—27 February 2026.

Moved from this place to `AlgebraicStructuresForcingSethood` and renamed to
Semilattices-streamlined on 17th April 2026.

\begin{code}

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

module gist.ThereAreNoHigherSemilattices2 where

import AlgebraicStructuresForcingSethood.Semilattices-streamlined

\end{code}