test/phase5/exact-structure-child.tex


1
2
3
4
5
6
7
8

\import{test/phase5/exact-structure.tex}

\begin{struct}\label{marked_pointed_set}
    A marked pointed set $X$ is a pointed set such that
    \begin{enumerate}
        \item\label{marked_pointed_refl} $\pick[X] = \pick$.
    \end{enumerate}
\end{struct}