simp only [RegExp.languageOf]
α : Type
⊢ RegExp.languageOf α RegExp.epsilon.delta =
    if True then RegExp.languageOf α RegExp.epsilon else RegExp.languageOf α RegExp.zero
α : Type
⊢ {[]} = if True then {[]} else ∅