Theorem: getRes_flipBit (Controlbits/BitResiduum.lean)

State before:
a✝ : ℕ
i : Fin (a✝ + 1)
q : BV (a✝ + 1)
⊢ getRes i ((flipBit i) q) = getRes i q
Tactic:
rw [flipBit_apply, getRes_mergeBitRes]
State after:
no goals