Hi,

Thanks for maintaining this nice package. I was wondering if there's a way to use thm-restate so that the restatement is in a separate file? In particular, is there a way to integrate with the xr package?