apply h.2.2
α : Type u_1
inst✝ : DecidableEq α
R₁ R₂ : DeductionParameterRules
h : autoParam (R₁ ≤ R₂) _auto✝
hHenkin : R₁.henkin = true
⊢ R₂.henkin = true
α : Type u_1
inst✝ : DecidableEq α
R₁ R₂ : DeductionParameterRules
h : autoParam (R₁ ≤ R₂) _auto✝
hHenkin : R₁.henkin = true
⊢ R₁.henkin = true