[opentheory-users] redundant import check

Ramana Kumar ramana at member.fsf.org
Tue Mar 29 22:03:19 UTC 2016

Hi Joe,

I have not had time to investigate this thoroughly yet, but I have a
suspicion that the redundant import check might not check for constants
that don't appear in any theorems. Therefore, removing a "redundant" import
might result in two different constants with the same name. Do you think
this is possible?

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

More information about the opentheory-users mailing list