Crowdly
Add to Chrome
What is the purpose of cases x in Lean when x : bool ?
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
What is the purpose of cases x in Lean when x : bool?
❌
❌
✅
❌