[opentheory-users] duplicate assumptions for "thm"

[Ramana Kumar]

Hi all,

I have a nitpicking question about the "thm" command for OpenTheory
articles. If the list of terms (t1,...,tn) contains two alpha-equivalent
but syntactically distinct terms, which one of them should be chosen as the
representative in the resulting Thm object? Or can we assume that the list
is all distinct (up to alpha) (in which case, could that be noted
explicitly)?

Cheers,
Ramana
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20141225/61ea4686/attachment.html>