Theorem: Nat.bit0_div_two (Extra/Nat/Bitwise.lean)

State before:
x : Nat
⊢ 2 * x / 2 = x
Tactic:
omega
State after:
no goals