path: root/test/phase5/exact-definition-alias-failure.tex

\begin{definition}\label{phase5_combined_alias}
    The parity combined value of $X$, $\cons{X}{X}$, is $X$.
\end{definition}