Commit 2024-10-19 05:19 81e65433

View on Github →

chore(Data/Nat/{Bits, Bitwise}): use Bool.toNat (#17925)

Estimated changes

modified theorem Nat.bit_val
modified theorem Nat.bodd_add_div2
modified theorem Nat.mod_two_of_bodd