When converting my manuscript to Springer's custom svjour3 document class using the option envcountsame (to use only one counter for all theorem-like environments), all references to propositions, lemmas, corollaries, etc. come out wrong, because autoref and cleveref think they are all theorems. See MWE below. Is there a way to use Springer's theorem environments but still be able to use autoref or cleveref? (Defining my own custom theorem environments with amsthm is not a desirable solution, as this deviates from the journal style.)
My usual solution is to load the package thmtools, as merely loading that package fixes this problem for theorem environments defined using amsthm, but that doesn't work for svjour3.
The same question was also asked by another user in a comment here.
MWE:
\documentclass[smallextended,envcountsame]{svjour3}
\usepackage{hyperref}
\newcounter{chapter} % do this before loading cleveref to fix a bug in svjour3; see https://tex.stackexchange.com/a/327686
\usepackage[capitalise]{cleveref}
\usepackage{thmtools} % fixes this problem for amsthm, but not for svjour3
\begin{document}
\begin{proposition}
\label{prop:cow}
The cow says: moo.
\end{proposition}
\begin{lemma}
\label{lem:cat}
The cat says: meow.
\end{lemma}
\begin{corollary}
\label{cor:dog}
The dog says: woof.
\end{corollary}
Autoref: \autoref{prop:cow}, \autoref{lem:cat}, \autoref{cor:dog}.
Cleveref: \cref{prop:cow}, \cref{lem:cat}, \cref{cor:dog}.
\end{document}



\ifmmodecheck, but also because there are many different environments capable of producing equation numbers). But you can always fall back on manual specification of the label (as in Stefan's answer), or define another macro\labeleqto use in equations. So your answers combined are more than sufficient. Thanks! – Josse Dec 03 '21 at 19:43\ifmmodecheck is not that perfect. By the way, one can hack the original\labelcommand by usingetoolbox. However, the editorialmanager system may not support it. :-P – Yijun Yuan Dec 04 '21 at 01:33