Command for lemmata

[Yokto13]

There are commands for easily displaying theorems, proofs, and definitions.

However, when writing lecture notes I find myself often writing some simple lemmata. I feel like it would be natural to have a command similar to [dfn ] for lemmata :)

[Yokto13]

Generally, I can't decide on what should be in the commands by default and what would clutter it. Suddenly we could also end up having commands for stating invariants, observations, etc. All of those would do pretty much the same imo

Interested to hear your opinion.

[xigoi]

I didn't include lemma in the default commands because there's not really a difference between a lemma and a theorem. But yeah, it could be useful for those who like to make the distinction.

Or there could be an equivalent of LaTeX's newtheorem to make it easy to add new theorem-like commands. A potential problem I see with that is translations.

[Yokto13]

I didn't include lemma in the default commands because there's not really a difference between a lemma and a theorem. But yeah, it could be useful for those who like to make the distinction.

Having only theorems, definitions and proofs is a quite minimalist approach (but not a bad one) and might not suffice for everyone. But I guess it depends on the person's taste.

Or there could be an equivalent of LaTeX's newtheorem to make it easy to add new theorem-like commands.

something like newtheorem might be great.

A potential problem I see with that is translations.

What do you think about adding an optional argument for translations? Then we might also need some map-like structure to pass it translations that concern us.

[xigoi]

I've added a lemma command in version 2022.5.25. I'm still considering the idea of a def-theorem-like command, so I'll leave this issue open.