[opentheory-users] reuse lemmas in article format

[François Thiré]

2017-05-17 17:34 GMT+02:00 Joe Leslie-Hurd <joe at gilith.com>:

> Hi Francois,
>
> Yes, the dictionary is the mechanism for reusing objects (including
> theorems) in an article file.
>
> To address your question about naming theorems, the article format is
> intended to be written and read by tools, not humans, so there is no
> need for a human-readable name. To bridge the gap an article compiler
> must create a mapping from human-readable names to integers
> (dictionary keys).
>

Thanks for your answer. But how in OT, is it possible to give a name to a
theorem proved in an article file?

Cheers,
>
> Joe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20170517/a9c22a79/attachment.html>