%% Theorem Environment Template
%% Auto-generated by ggen from RDF ontology
%% Supports: theorem, lemma, proposition, corollary, definition, example, remark

\begin{% raw %}{{{ theorem_type }}}{% if theorem_name %}[{{ theorem_name }}]{% endif %}{% endraw %}
\label{% raw %}{thm:{{ theorem_id }}}{% endraw %}
{% raw %}{{ statement }}{% endraw %}
\end{% raw %}{{{ theorem_type }}}{% endraw %}

{% raw %}{% if proof %}
\begin{proof}
{{ proof }}
{% if qed_symbol %}
\qedhere
{% endif %}
\end{proof}
{% endif %}{% endraw %}

{% raw %}{% if remarks %}
\begin{remark}
{{ remarks }}
\end{remark}
{% endif %}{% endraw %}

{% raw %}{% if examples %}
\begin{example}
{{ examples }}
\end{example}
{% endif %}{% endraw %}

{% raw %}{% if cross_references %}
% Related results
{% for ref in cross_references %}
See \cref{thm:{{ ref.id }}} for {{ ref.relation }}.
{% endfor %}
{% endif %}{% endraw %}
