Theorem: BVDecide.Normalize.BitVec.truncate_eq_zeroExtend (LeanSAT/Reflect/Tactics/Normalize/BitVec.lean)

State before:
w n : Nat
x : BitVec w
⊢ BitVec.truncate n x = BitVec.zeroExtend n x
Tactic:
rfl
State after:
no goals