So erhalten Sie neu darstellbare Tcolorbox-Theoremumgebungen und vermeiden gleichzeitig die Mehrfachdefinition von Beschriftungen

Question

Ich habe ein Dokument, in dem ich zunächst einen Satz definieren und denselben Satz später, wenn es an der Zeit ist, ihn zu beweisen, noch einmal formulieren möchte.

Normalerweise könnte dies mit dem Paket erfolgen thm-restate. Die Theoreme in meinem Dokument verwenden jedoch eine tcolorbox-Umgebung. Daher habe ich stattdessen versucht, den indiese Antwort.

Dieser Ansatz funktioniert zwar bei der Umformulierung von Theoremen, aber dann gibt LaTeX Warnungen aus, dass Labels „mehrfach definiert“ sind. Aufgrund dieses Fehlers kann ich dann nicht mehr richtig auf die umformulierten Theoreme verweisen.

Meine Frage:wie kann ich Tcolorbox-Theoreme neu formulieren, ohne auf das Problem doppelter Beschriftungen zu stoßen?

Hier ist ein Minimalbeispiel, das den Aufbau und das Problem veranschaulicht:

\documentclass{article}

\usepackage{amsmath}
\usepackage[colorlinks=true, allcolors=blue]{hyperref}
\usepackage{cleveref}

\usepackage{tcolorbox}
\tcbuselibrary{theorems}
\tcbuselibrary{magazine}
\usepackage{amsthm}

\theoremstyle{definition}

% The tcolorbox theorem
\newtcbtheorem{theorem}{Theorem}{colback=gray!10,colframe=gray!40!black}{theorem}

% Commands to restate the theorem
\newcommand{\recallthm}[2][1]{\par\noindent\useboxarray[#2]{#1}}
\usepackage{environ}
\NewEnviron{restatablethm}[2]{%
\newboxarray{#2}%
\begin{theorem}[reset box array=#2, store to box array=#2]{#1}{#2}
    \BODY%
\end{theorem}%
\recallthm{#2}%
}

% Other theorem environments might be on the same counter
\newtheorem{lemma}[tcb@cnt@theorem]{Lemma}

\begin{document}

    % The first theorem
    \begin{restatablethm}{Serious Algorithm}{coollabel}
        An example boxed theorem..
    \end{restatablethm}

    \begin{lemma}
        A simple lemma.
    \end{lemma}

    % The restated theorem
    \recallthm{coollabel}

    By \Cref{thm:collabel} we are done. % The reference here does not work (yields ??). 

\end{document}

Answer 1

Dies verwendet [nophantom], um die wiederaufrufbare Box zu erstellen, aber nicht das Original. Es generiert immer noch eine Warnung über doppelte Hypertargets sowie eine über die Versandbox. \Creffunktioniert überhaupt nicht, obwohl ein theorem:coollabel@crefLabel erstellt wurde.

\documentclass{article}

\usepackage{amsmath}
\usepackage[colorlinks=true, allcolors=blue]{hyperref}
\usepackage{cleveref}

\usepackage{tcolorbox}
\tcbuselibrary{theorems}
\tcbuselibrary{magazine}
\usepackage{amsthm}

\theoremstyle{definition}

% The tcolorbox theorem
\newtcbtheorem{theorem}{Theorem}{colback=gray!10,colframe=gray!40!black}{theorem}

% Commands to restate the theorem
\newcommand{\recallthm}[2][1]{\par\noindent\useboxarray[#2]{#1}}
\usepackage{environ}
\makeatletter
\NewEnviron{restatablethm}[2]{% print this copy
\newboxarray{#2}%
\begin{theorem}[reset box array=#2, store to box array=#2,nophantom]{#1}{#2}
    \BODY%
\end{theorem}%
\addtocounter{tcb@cnt@theorem}{-1}%
\begin{theorem}{#1}{#2}
    \BODY%
\end{theorem}%
%\recallthm{#2}%
}

% Other theorem environments might be on the same counter
\newtheorem{lemma}[tcb@cnt@theorem]{Lemma}

\begin{document}

    % The first theorem
    \begin{restatablethm}{Serious Algorithm}{coollabel}
        An example boxed theorem..
    \end{restatablethm}

    \begin{lemma}
        A simple lemma.
    \end{lemma}

    % The restated theorem
    \recallthm{coollabel}

    By \ref{theorem:coollabel} we are done. % The reference here does not work (yields ??). 

\end{document}