[opentheory-users] subst

Rob Arthan rda at lemma-one.com
Mon Aug 12 11:00:36 UTC 2013

In the description of subst in the article file format, the a_i are type variable names, so presumably they must be in the global namespace?


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

More information about the opentheory-users mailing list