Theorem Nat.bit_bodd_div2

Modification history

2025-09-24 11:23
Mathlib/Data/Nat/Bits.lean
chore: cleanup in Nat bitwise files (#29929)
Added Nat.bit_bodd_div2View on Github →