Hover Cite Only Doc

 Hover Cite Only Doc🔗

Compiled2026-05-06T13:19:09ZProject5480f6aMerge pull request #37 from leanprover/feat/reference-catalog-pagesLeanleanprover/lean4:v4.30.0-rc2VersoBlueprint5480f6a

Cite once Author and Author (2026), Lemma 3 and cite twice Author and Author (2026), Lemma 3.

Contents

  1. Blueprint Bibliography