Zulip Chat Archive

Stream: new members

Topic: Naming examples?


view this post on Zulip Daniel Fabian (Jul 02 2020 at 19:38):

Is there a way to give a name to a example declaration? lemma, theorem have names and examples don't allow them. Can I maybe define a local notation or something?

view this post on Zulip Johan Commelin (Jul 02 2020 at 19:42):

@Daniel Fabian It's the only property that distinguishes example from lemma... that it doesn't have a name.

view this post on Zulip Daniel Fabian (Jul 02 2020 at 19:45):

sure... but then again, by that argumentation there's no difference between lemma and theorem at all, no?

view this post on Zulip Mario Carneiro (Jul 02 2020 at 19:47):

lemma and theorem are synonyms

view this post on Zulip Daniel Fabian (Jul 02 2020 at 19:49):

are those definitions baked into the syntax, or done using notation, too?

view this post on Zulip Johan Commelin (Jul 02 2020 at 19:54):

I think they're baked in


Last updated: May 09 2021 at 19:11 UTC