Blueprint Missing Group Preview Wiring

 Blueprint Missing Group Preview Wiring🔗

Compiled2026-07-01T21:39:46ZProject5f17f8aMerge pull request #222 from leanprover/chore/reference-blueprints-catalog-all-v4.30.0-v4.31.0Leanleanprover/lean4:v4.31.0VersoBlueprint5f17f8a
Definition26
groupuses 0used by 0XL∃∀N

Target statement in an undeclared group.

Lemma27
groupuses 0used by 0XL∃∀N

Peer statement sharing the undeclared parent.