Zulip Chat Archive

Stream: new members

Topic: Naming examples?


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?

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.

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?

Mario Carneiro (Jul 02 2020 at 19:47):

lemma and theorem are synonyms

Daniel Fabian (Jul 02 2020 at 19:49):

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

Johan Commelin (Jul 02 2020 at 19:54):

I think they're baked in


Last updated: Dec 20 2023 at 11:08 UTC