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