Homework We continue geting comfortable with theorem proving in Lean by considering equivalence relations and equivalence classes.