Hover Cite Only Doc

 Hover Cite Only Doc🔗

Compiled2026-09-30T10:46:43ZProject4848fcaMerge pull request #481 from leanprover/chore/reconcile-v434-reference-pinsLeanleanprover/lean4:v4.34.1VersoBlueprint4848fca

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

Contents

  1. Blueprint Bibliography