path: root/test/phase7/diamond-base.tex

\begin{proposition}\label{phase7_diamond_base}
    For all $x$ we have $x = x$.
\end{proposition}