[opentheory-users] axioms

Ramana Kumar ramana.kumar at gmail.com
Mon Jan 10 08:45:31 UTC 2011


Is an article allowed to call the axiom command on a theorem the
article itself has already proved?

Presumably any articles in gilith won't do that though...?



More information about the opentheory-users mailing list