I have some lemma (let's call it lemma 4) in my main text, but I prove it in the appendix. Therefore, I want to restate the lemma in the appendix again as lemma 4. How can I achieve this?
Thanks!
One way would be to use the thm-restate package which is part of thmtools. See for example the answer to this question.
You can use the thm-restate package of thmtools:
\documentclass{article}
\usepackage{thmtools}
\usepackage{thm-restate}
\declaretheorem{Lemma}
\begin{document}
\section{First}
\begin{restatable}{Lemma}{lemmfour}
\label{lemm:4}
Content of Lemma~4.
\end{restatable}
\section{Second}
\lemmfour*
\end{document}