I would like to have theorems in my main text with the proof being in the appendix. My idea is to repeat the theorem in the appendix including the proof. However, for that it would be necessary to repeat "Theorem 1" in the Appendix also as "Theorem 1". Does anybody have an idea how to do this in LyX?
As suggested in Bernard's comment, you can restate the theorem using the
Document > Settings > LaTeX Premable and insert the below and apply.
In the document, do
Insert > TeX Code to get a TeX code inset. In it, write
Below it, add you theorem statement and end the environment with another TeX code inset containing
When you later want to restate the theorem, add a TeX code inset with
In LyX and compiled: