Naming examples?

Stream: new members

[Daniel Fabian]

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]

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

[Daniel Fabian]

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

[Mario Carneiro]

lemma and theorem are synonyms

[Daniel Fabian]

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

[Johan Commelin]

I think they're baked in