Theorem Nat.bit_false_zero

Modification history

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