simp only [RegExp.is_nullable]
α : Type
r s : RegExp α
r_ih : RegExp.languageOf α r.delta = if r.is_nullable then {[]} else ∅
s_ih : RegExp.languageOf α s.delta = if s.is_nullable then {[]} else ∅
⊢ ((if r.is_nullable then {[]} else ∅) ∪ if s.is_nullable then {[]} else ∅) =
    if (r.union s).is_nullable then {[]} else ∅
α : Type
r s : RegExp α
r_ih : RegExp.languageOf α r.delta = if r.is_nullable then {[]} else ∅
s_ih : RegExp.languageOf α s.delta = if s.is_nullable then {[]} else ∅
⊢ ((if r.is_nullable then {[]} else ∅) ∪ if s.is_nullable then {[]} else ∅) =
    if r.is_nullable ∨ s.is_nullable then {[]} else ∅