Blueprint Group Preview Wiring

 Blueprint Group Preview Wiring🔗

Compiled2026-07-01T21:39:45ZProject5f17f8aMerge pull request #222 from leanprover/chore/reference-blueprints-catalog-all-v4.30.0-v4.31.0Leanleanprover/lean4:v4.31.0VersoBlueprint5f17f8a
Definition22
Group: Preview group title. (2)
Group member previews
Preview
Lemma 23
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Target statement in a declared group.

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

First peer in the same group.

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

Second peer in the same group.

Lemma25
uses 1used by 0XL∃∀N

Statement depends on Definition 22.