Multiple literate attachments

 Multiple literate attachments🔗

Compiled2026-10-23T21:05:07ZProject4943d33feat: prove assembly acceptance and input priority laws (#498)Leanleanprover/lean4:v4.35.0VersoBlueprint4943d33

Contents

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