Blueprint Missing Group Preview Wiring🔗

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

Definition20

groupXL∃∀Nused by 0

Target statement in an undeclared group.

Lemma21

groupXL∃∀Nused by 0

Peer statement sharing the undeclared parent.