7. Inline Hover Previews🔗

Definition7.1

uses 0used by 1XL∃∀N

Nested inner preview definition.

Theorem7.2

uses 1used by 1XL∃∀N

Outer theorem refers to Definition 7.1.

Lemma7.3

uses 1used by 0XL∃∀N

This page references Theorem 7.2 so the inline preview contains a second hover target.

Lemma7.4

uses 0used by 0XL∃∀N

See Author and Author (2026), Lemma 1 for a bibliography-backed inline preview.