6. Inline Hover Previews
Definition6.1
XL∃∀N
used by 1
Lean status
- No associated Lean code or declarations.
Nested inner preview definition.
Theorem6.2
XL∃∀N
used by 1
Lean status
- No associated Lean code or declarations.
Outer theorem refers to Definition 6.1.
Lemma6.3
XL∃∀N
used by 0
Lean status
- No associated Lean code or declarations.
This page references Theorem 6.2 so the inline preview contains a second hover target.
Lemma6.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.