Theorem: getBit_apply_zero (Controlbits/BitResiduum.lean)

State before:
a✝ : ℕ
i : Fin (a✝ + 1)
⊢ getBit i 0 = false
Tactic:
rw [getBit_apply, getBitRes_apply_zero]
State after:
no goals