Hover Cite Only Doc

 Hover Cite Only Doc🔗

Compiled2026-07-01T21:39:30ZProject5f17f8aMerge pull request #222 from leanprover/chore/reference-blueprints-catalog-all-v4.30.0-v4.31.0Leanleanprover/lean4:v4.31.0VersoBlueprint5f17f8a

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

Contents

  1. Blueprint Bibliography