Re: Restate Theorems

[Mehrdad Oveisi]

> If the restate key-val argument mentioned on p. 8 of the thmtools docs
> works, then you can probably do this with just a little bit of ERT.
>
> Richard
>

That sounds interesting! I'll see if I can get it working.

Thank you!