Crowdly
Add to Chrome
In Lean, you encounter a goal ⊢ QQ a and have an assumption h : ∀ x : A, P...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
In Lean, you encounter a goal ⊢ QQ a and have an assumption h : ∀ x : A, PP x → QQ x and a : A.
Using tactic apply h will result in a new goal.
What will the new goal be?
❌
❌
✅
❌