## 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: May 09 2021 at 19:11 UTC