Multiple literate attachments

Multiple literate attachments

Table of Contents

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

3. Second literate attachment

←2. Inline attachment Blueprint Summary→

3. Second literate attachment🔗

Lean code for Theorem1.3

theorem inlineSecond : True := trivial

←2. Inline attachment Blueprint Summary→