Preview Runtime Showcase

5. Group Previews🔗

Definition5.1
Group: Preview group title. (2)
Group member previews
Preview
Lemma 5.2
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Target statement in a declared group.

Lemma5.2
Group: Preview group title. (2)
Group member previews
Preview
Definition 5.1
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 0XL∃∀N

First peer in the same group.

Lemma5.3
Group: Preview group title. (2)
Group member previews
Preview
Definition 5.1
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 0XL∃∀N

Second peer in the same group.

Lemma5.4
uses 1used by 0XL∃∀N

Statement depends on Definition 5.1.

Theorem5.5
uses 0used by 0XL∃∀N

Standalone theorem without a parent group.