test/phase7/diamond-root.tex


1
2
3
4
5
6

\import{test/phase7/diamond-left.tex}
\import{test/phase7/diamond-right.tex}

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