Theorem: Nat.zero_shiftLeft (Algdata/Data/Nat/Bits.lean)

State before:
k : Nat
⊢ 0 <<< k = 0
Tactic:
simp
State after:
no goals