apply conj₃!
case conj₃
α : Type u_1
inst✝ : DecidableEq α
p✝¹ : Formula α
m𝓓 : DeductionParameter α
p p✝ q✝ : Superintuitionistic.Formula α
h : 𝐂𝐥 ⊢! p✝ ⟶ q✝ ⟶ p✝ ⋏ q✝
⊢ m𝓓 ⊢! p✝ᴹ ⟶ q✝ᴹ ⟶ p✝ᴹ ⋏ q✝ᴹ
no goals