[opentheory-users] axioms

[Joe Hurd]

Hi Ramana,

Yes, that's a legal command, but I don't expect to see it used in the
theories currently uploaded.

Cheers,

Joe

On Mon, Jan 10, 2011 at 12:45 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> 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...?
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>