Multiple literate attachments

 Multiple literate attachments🔗

Compiled2026-09-30T10:46:41ZProject4848fcaMerge pull request #481 from leanprover/chore/reconcile-v434-reference-pinsLeanleanprover/lean4:v4.34.1VersoBlueprint4848fca

Contents

  1. 1. Statement chapter
  2. 2. Inline attachment
  3. 3. Second literate attachment
  4. Blueprint Summary
  5. Dependency Graph