Preview Runtime Showcase

3. Group Previews🔗

Definition3.1
Group: Preview group title. (2)
Hover another entry in this group to preview it.
Preview
Lemma 3.2
Loading preview
Hover a group entry to preview it.
XL∃∀Nused by 1

Target statement in a declared group.

Lemma3.2
Group: Preview group title. (2)
Hover another entry in this group to preview it.
Preview
Definition 3.1
Loading preview
Hover a group entry to preview it.
XL∃∀Nused by 0

First peer in the same group.

Lemma3.3
Group: Preview group title. (2)
Hover another entry in this group to preview it.
Preview
Definition 3.1
Loading preview
Hover a group entry to preview it.
XL∃∀Nused by 0

Second peer in the same group.

Lemma3.4
XL∃∀Nused by 0

Statement depends on Definition 3.1.

Theorem3.5
XL∃∀Nused by 0

Standalone theorem without a parent group.