Closed mbertucci47 closed 10 months ago
Since thm-restate is loaded by thmtools.sty, there's no need to load it separately in the documentation or display it in the restatable example.
thm-restate
thmtools.sty
restatable
That's embarrassing. Also apologize for my long lag.
No worries at all
Since
thm-restate
is loaded bythmtools.sty
, there's no need to load it separately in the documentation or display it in therestatable
example.