unfold UInt.getBit
α : Type
inst✝¹ : (n : Nat) → OfNat α n
inst✝ : UInt α
⊢ ∀ (i : Nat), UInt.getBit 0 i = false
α : Type
inst✝¹ : (n : Nat) → OfNat α n
inst✝ : UInt α
⊢ ∀ (i : Nat), Nat.getBit (toNat 0) i = false