Hover Uses Dedup Doc
Hover Uses Dedup Doc
Table of Contents
Hover Uses Dedup Doc
🔗
Compiled
2026-09-30T10:46:43Z
Project
4848fca
Merge pull request #481 from leanprover/chore/reconcile-v434-reference-pins
Lean
leanprover/lean4:v4.34.1
VersoBlueprint
4848fca
Lemma
2
uses 0
used by 1
X
L∃∀N
Lean status
No associated Lean code or declarations.
Base lemma for repeated references.
Lemma
3
uses 1
used by 0
X
L∃∀N
Lean status
No associated Lean code or declarations.
Using
Lemma 2
and again
Lemma 2
.