Commit 2025-09-24 11:23 21fd553d

View on Github →

chore: cleanup in Nat bitwise files (#29929)

Estimated changes

Modified Mathlib/Computability/PartrecCode.lean

Modified Mathlib/Data/Nat/Bits.lean

added theorem Nat.bit_bodd_div2

deleted theorem Nat.bit_decomp

added theorem Nat.bit_false_zero

deleted theorem Nat.bit_zero

Modified Mathlib/Data/Nat/Bitwise.lean

Modified Mathlib/Logic/Denumerable.lean

Modified Mathlib/Logic/Equiv/Nat.lean