Theorem: Regex.NFA.Node.inBounds.split (Regex/NFA/Basic.lean)

State before:
size next₁ next₂ : Nat
h₁ : next₁ < size
h₂ : next₂ < size
⊢ (Node.split next₁ next₂).inBounds size
Tactic:
simp [inBounds, h₁, h₂]
State after:
no goals