Theorem Nat.bitwise_lt

Modification history

2025-01-08 13:17
Mathlib/Data/Nat/Bitwise.lean
chore(Data/Nat/Bitwise) deprecate upstreamed lemma 'bitwise_lt' (#20284) …
Deleted Nat.bitwise_ltView on Github →
2023-11-25 17:07
Mathlib/Data/Nat/Bitwise.lean
feat: prove an upper bound on bitwise operations (#8598) …
Added Nat.bitwise_ltView on Github →