← Ch. 13: Next Steps

Table of contents

---

Solutions are written in the same explicit style as the main text: every rw/have/intro is one step. We avoid shortcuts (simp, unexplained rfl) except when a step is truly definitional and there is nothing left to explain.

Sections

1. Chapter 1: First steps
2. Chapter 3: Propositions and proofs
3. Chapter 4: Tactics
4. Chapter 5: Rigor check
5. Chapter 6: Groups
6. Chapter 7: Group examples and basic theorems
7. Chapter 8: Rings
8. Chapter 9: Ring examples and basic theorems
9. Chapter 10: Modules over a ring
10. Chapter 11: Quivers and path algebras

---

← Ch. 13: Next Steps

Table of contents