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

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