Statement / Definition keyword list.

Stream: general

[Daniel Donnelly]

What is the list of "statement or def" keywords. Those I know of so far are theorem, lemma, example. I need to know all of the (main) ones so that my app corresponds 1-1 with it in terms of diagrams getting a tag like Theorem or Definition. It should make coding BananaCats easier if I know what the user intends to create when they open a new tab.

[Daniel Donnelly]

for example is there a corollary ?

[Chris Hughes]

I think it's just theorem, lemma, def, definition, example and instance

[Daniel Donnelly]

Thank you so much! I will take note of this

[Daniel Donnelly]

@Chris Hughes is def short for definition ?

[Daniel Donnelly]

And what is an instance?

[Bryan Gin-ge Chen]

See https://leanprover.github.io/theorem_proving_in_lean/type_classes.html

[Chris Hughes]

def and definition do the same thing, as do theorem and lemma. An instance is like def but with the instance attribute, described in TPIL.