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

State before:
x : Nat
⊢ (2 * x + 1) % 2 = 1
Tactic:
omega
State after:
no goals