Re: TeX Live: Issue with thm-restate in latest docker release

--000000000000e4d4a80656a88fb7
Content-Type: text/plain; charset="UTF-8"

Probably not the final fix, but this will enable the document to run
without error

\documentclass{article}

\listfiles


\usepackage{thmtools}

\makeatletter
\def\@othm#1[#2]#3{%
  \@ifundefined{c@#2}{\@nocounterr{#2}}%
    {\expandafter\@ifdefinable\csname #1\endcsname

{\def\@tempa{#1}\def\@tempb{#2}\ifx\@tempa\@tempb\else\newcounteralias{#1}{#2}\fi
  \global\@namedef{#1}{\@thm{#1}{#3}}%
  \global\@namedef{end#1}{\@endtheorem}}}}
\makeatother


\declaretheorem{theorem}
\declaretheorem[sibling=theorem]{proposition}


\begin{document}\end{document}

--000000000000e4d4a80656a88fb7
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Probably not the final fix, but this will enable the =
document to run without error</div><div><br></div><div>\documentclass{artic=
le}<br><br>\listfiles<br><br><br>\usepackage{thmtools}<br><br>\makeatletter=
<br>\def\@othm#1[#2]#3{%<br>=C2=A0 \@ifundefined{c@#2}{\@nocounterr{#2}}%<b=
r>=C2=A0 =C2=A0 {\expandafter\@ifdefinable\csname #1\endcsname<br>=C2=A0 =
=C2=A0 {\def\@tempa{#1}\def\@tempb{#2}\ifx\@tempa\@tempb\else\newcounterali=
as{#1}{#2}\fi<br>=C2=A0 \global\@namedef{#1}{\@thm{#1}{#3}}%<br>=C2=A0 \glo=
bal\@namedef{end#1}{\@endtheorem}}}}<br>\makeatother<br><br><br>\declarethe=
orem{theorem}<br>\declaretheorem[sibling=3Dtheorem]{proposition}<br><br><br=
>\begin{document}\end{document}<br><br></div></div>

--000000000000e4d4a80656a88fb7--