Hover Link Doc
Hover Link Doc
Table of Contents
Blueprint Bibliography
Blueprint Bibliography
→
Hover Link Doc
🔗
Compiled
2026-08-12T14:07:40Z
Project
c3b8a93
Merge pull request #421 from leanprover/chore/lean-4.33-final
Lean
leanprover/lean4:v4.33.0
VersoBlueprint
c3b8a93
Lemma
1
uses 1
used by 0
X
L∃∀N
Lean status
No associated Lean code or declarations.
Using
Lemma 1
, see
Author and Author (2026)
,
Lemma 3
.
Contents
Blueprint Bibliography
Blueprint Bibliography
→