5. Inline Hover Previews
Definition5.1
XL∃∀N
used by 1
Lean status
- No associated Lean code or declarations.
Nested inner preview definition.
Theorem5.2
XL∃∀N
used by 1
Lean status
- No associated Lean code or declarations.
Outer theorem refers to Definition 5.1.
Lemma5.3
XL∃∀N
used by 0
Lean status
- No associated Lean code or declarations.
This page references Theorem 5.2 so the inline preview contains a second hover target.
Lemma5.4
XL∃∀N
used by 0
Lean status
- No associated Lean code or declarations.
See Author and Author (2026), Lemma 1 for a bibliography-backed inline preview.