[opentheory-users] duplicate assumptions for "thm"

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Thu Dec 25 13:01:32 UTC 2014

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

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

More information about the opentheory-users mailing list