Support for lemma as a synonym for theorem.

def lemma : Lean.ParserDescr

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.

def expandLemma : Lean.Macro

Implementation of the lemma command, by macro expansion to theorem.

Equations

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