Blueprint Preview Wiring

 Blueprint Preview Wiring🔗

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

Base statement using \previewmacro in summary and graph previews.

Lemma2
uses 1used by 0XL∃∀N

Depends on Definition 1.

Contents

  1. Dependency Graph
  2. Blueprint Summary