`lemma`

means the same as `theorem`

. It is used to denote "less important" theorems

## Equations

- One or more equations did not get rendered due to their size.

## Instances For

Implementation of the `lemma`

command, by macro expansion to `theorem`

.

## Equations

- One or more equations did not get rendered due to their size.