Crowdly
Додати до Chrome
What is the purpose of cases x in Lean when x : bool ?
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
What is the purpose of cases x in Lean when x : bool?
❌
❌
✅
❌