Homework (VIII)

Problems 1-3

Problems 4-5

For solving these problems you should consult the code in 🧪. Feel free to copy and paste whatever you need from the Lean Lab.