Теорема маркировки сред в документах

Question

Некоторым из вас этот вопрос может показаться очевидным, но у меня возникли некоторые затруднения.

Я использую окружение теорем (и лемм и т. д.) в своих документах и ​​ссылаюсь на него в доказательствах других — это довольно стандартно.

Проблема, с которой я столкнулся, заключается в том, как назвать мои теоремы — по крайней мере те, у которых нет названий.

Очевидный способ — пронумеровать их так же, как они указаны в документе, но если я затем вернусь и добавлю или удалю окружения теорем, все это превратится в кашу.

Есть ли у кого-нибудь хорошая логическая система для этого?

Минимальный рабочий пример

\documentclass{article}

\newtheorem{thm}{Theorem}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lem}[thm]{Lemma}


\begin{document}

\begin{lem}\label{lem2}
    This is the 1st lemma (2nd 'theorem') I write, but it clarifies the proof of the theorem below, so I place it above.
\end{lem}
\begin{proof}
    The proof of lemma.
\end{proof}

\begin{thm}\label{thm1}
    This is the 1st theorem I write.
\end{thm}
\begin{proof}
    The proof of theorem using Lemma \ref{lem2}.
\end{proof}
\end{document}

Answer 1

Если я правильно понимаю, ваша проблема в том, что у вас есть некоторые \labels в каком-то документе, и вы хотите сослаться на них, используя \refотдельный (например, «скомпилированный отдельно») документ.

Это работа для xrпакета:

Если один документ должен ссылаться на разделы другого, скажем aaa.tex, тогда этот пакет может быть загружен в основной файл, а команда \externaldocument{aaa} дана в преамбуле. Затем вы можете использовать \refи \pagerefдля ссылки на что-либо, что было дано \labelв aaa.texили основном документе. Вы можете объявить любое количество таких внешних документов.

Answer 2

Попробуйте назвать теоремы так, как вам удобно, а затем пометьте их, используя заранее заданные подходящие имена. Например, \label{Continuity}, \label{date11.1.19}и т.д.