Crowdly
Add to Chrome
In Lean, equality is defined as an equivalence relation. Which of the following ...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
In Lean, equality is defined as an equivalence relation. Which of the following options correctly lists the three properties that define an equivalence relation?
❌
❌
✅
❌