Hover Cite Only Doc

 Hover Cite Only Doc🔗

Compiled2026-08-12T14:07:42ZProjectc3b8a93Merge pull request #421 from leanprover/chore/lean-4.33-finalLeanleanprover/lean4:v4.33.0VersoBlueprintc3b8a93

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

Contents

  1. Blueprint Bibliography