Theorem Nat.bit_mod_two

Modification history

2024-10-20 12:27

Mathlib/Data/Nat/BinaryRec.lean

chore: move binary recursion on `Nat` into a new file (#15567) …

Modified Nat.bit_mod_two View on Github →

2023-10-18 16:31

Mathlib/Data/Nat/Bitwise.lean

chore: remove `Nat.bitwise'` (#7451) …

Added Nat.bit_mod_two View on Github →