Fix some warnings

Author: v--

text/first_order_models.tex

@@ -1648,7 +1648,7 @@ \section{First-order models}\label{sec:first_order_models}
 
   This condition ensures that every equivalence classes of the quotient set \( S / {\cong} \) is also an element of \( X / {\cong} \).
 
-  We will give a verbose formulation as a buildup for \cref{thm:lattice_theorem_for_substructures/isomorphism}; the theorem is summarized in \ref{fig:thm:lattice_theorem_for_substructures}.
+  We will give a verbose formulation as a buildup for \cref{thm:lattice_theorem_for_substructures/isomorphism}; the theorem is summarized in \cref{fig:thm:lattice_theorem_for_substructures}.
 
   \begin{figure}[!ht]
     \centering

text/group_actions.tex

@@ -1151,7 +1151,7 @@ \section{Group actions}\label{sec:group_actions}
     Other cases can be handled similarly.
   \end{itemize}
 
-  All in all, \ref{tab:ex:s3} provides all values of \( \tau \bincirc \sigma \).
+  All in all, \cref{tab:ex:s3} provides all values of \( \tau \bincirc \sigma \).
 
   \begin{table}[!ht]
     \begin{equation*}