Homework 2 - Theorems and proofs

Due 2023-01-31.

Complete and submit homework at our GitHub classroom.