exact ⟨ih₁ hv, ih₂ hv⟩
v✝ : Variable → Prop
A B : Formula
Γ Δ Γ✝ : Set Formula
A✝ B✝ : Formula
a✝¹ : Γ✝ ⊢ A✝
a✝ : Γ✝ ⊢ B✝
ih₁ : Γ✝ ⊨ A✝
ih₂ : Γ✝ ⊨ B✝
v : Variable → Prop
hv : Satisfies v Γ✝
⊢ IsTrue v (A✝ && B✝)
no goals