Hover Uses Dedup Doc
Hover Uses Dedup Doc
Table of Contents
Ā Hover Uses Dedup Doc
š
Compiled
2026-05-06T13:19:08Z
Project
5480f6a
Merge pull request #37 from leanprover/feat/reference-catalog-pages
Lean
leanprover/lean4:v4.30.0-rc2
VersoBlueprint
5480f6a
Lemma
2
X
LāāN
Lean status
No associated Lean code or declarations.
used by 1
Base lemma for repeated references.
Lemma
3
X
LāāN
Lean status
No associated Lean code or declarations.
used by 0
Using
Lemma 2
and again
Lemma 2
.