Hi all, I'm looking to print all the theorems, corollaries, lemmas, definitions, etc. in a document elsewhere in that same document. Is a way to traverse the theorems stored by thmtools and print ("restate") them one after another?

On tex.stackexchange there's a user-contributed script that does this. However, it isn't compatible with thmtools. When thmtools is used in conjunction with this script, the numbering of the theorems printed goes awry. I created a basic example on Overleaf demonstrating this: https://www.overleaf.com/read/ffrwkpymbpdx .