Blueprint Single Declared Group Wiring

 Blueprint Single Declared Group Wiring🔗

Compiled2026-05-06T13:19:22ZProject5480f6aMerge pull request #37 from leanprover/feat/reference-catalog-pagesLeanleanprover/lean4:v4.30.0-rc2VersoBlueprint5480f6a
Definition22
XL∃∀Nused by 0

Only entry in its declared group.