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

State before:
size next : Nat
c : Char
h : next < size
⊢ (Node.char c next).inBounds size
Tactic:
simp [inBounds, h]
State after:
no goals