Stream: new members
Topic: Naming examples?
Daniel Fabian (Jul 02 2020 at 19:38):
Is there a way to give a name to a
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
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):
theorem are synonyms
Daniel Fabian (Jul 02 2020 at 19:49):
are those definitions baked into the syntax, or done using
Johan Commelin (Jul 02 2020 at 19:54):
I think they're baked in
Last updated: May 09 2021 at 19:11 UTC