If a proof explicitly cites any lemmas, then every inference step is linked to a listing of those lemmas via the "Lemmas" button.

The rank, i.e. the depth of lemma citation, will be indicated for each of the lemmas if any have rank above zero.

EXAMPLE