Axioms, Rules, and Tactics
Select formula (hover and click to select typical formulas, press option/alt key and click to select any term or formula)
Lemmas
verbatim prop auto
{{lemma.conclusion}}