Homework 9 - Sets in Lean

Due 2022-10-24.

You can find and submit the assignment on our Github Classroom.