Multiple literate attachments

Multiple literate attachments

Table of Contents

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

2. Inline attachment

←1. Statement chapter 3. Second literate attachment→

2. Inline attachment🔗

Lean code for Theorem1.3

theorem inlineAttached :
    ImportedContributions.statementDependency :=
  ImportedContributions.proofDependency

←1. Statement chapter 3. Second literate attachment→