Blueprint Preview Wiring

 Blueprint Preview Wiring🔗

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

Base statement using \previewmacro in summary and graph previews.

Lemma2
XL∃∀Nused by 0

Depends on Definition 1.

Contents

  1. Dependency Graph
  2. Blueprint Summary