cleveref post 2024 breaks references to theorems/lemmas etc
In particular, \cref{lemma:xyz} will print Theorem N, defeating the purpose of using cleveref!
The internet has a multitude of solutions, but one which "just" works (for now at least) is to import thmtools after importing amsthm.