Crowdly
Додати до Chrome
Which tactic is most suitable for proving tt = tt in Lean?
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Which tactic is most suitable for proving tt = tt in Lean?
❌
❌
✅
❌