Blueprint Group Preview Wiring🔗

Compiled2026-05-06T13:19:20ZProject 5480f6aMerge pull request #37 from leanprover/feat/reference-catalog-pagesLeanleanprover/lean4:v4.30.0-rc2VersoBlueprint 5480f6a

Definition16

Group: Preview group title. (2)

Hover another entry in this group to preview it.

Lemma 17«lem:group.peer.one»
Lemma 18«lem:group.peer.two»

Preview

Lemma 17

Loading preview

Hover a group entry to preview it.

XL∃∀Nused by 1

Target statement in a declared group.

Lemma17

Group: Preview group title. (2)

Hover another entry in this group to preview it.

Definition 16«def:group.target»
Lemma 18«lem:group.peer.two»

Preview

Definition 16

Loading preview

Hover a group entry to preview it.

XL∃∀Nused by 0

First peer in the same group.

Lemma18

Group: Preview group title. (2)

Hover another entry in this group to preview it.

Definition 16«def:group.target»
Lemma 17«lem:group.peer.one»

Preview

Definition 16

Loading preview

Hover a group entry to preview it.

XL∃∀Nused by 0

Second peer in the same group.

Lemma19

XL∃∀Nused by 0

Statement depends on Definition 16.