intro _
L : Language
inst✝ : L.ORing
C C' : Semiformula L ℕ 1 → Prop
h : ∀ {p : Semiformula L ℕ 1}, C p → C' p
⊢ indScheme L C ⊆ indScheme L C'
L : Language
inst✝ : L.ORing
C C' : Semiformula L ℕ 1 → Prop
h : ∀ {p : Semiformula L ℕ 1}, C p → C' p
a✝ : Sentence L
⊢ a✝ ∈ indScheme L C → a✝ ∈ indScheme L C'