Commit 2025-01-08 13:17 0276568c
View on Github →chore(Data/Nat/Bitwise) deprecate upstreamed lemma 'bitwise_lt' (#20284)
Replaces bitwise_lt with a deprecated alias to bitwise_lt_two_pow, which was added to core in https://github.com/leanprover/lean4/commit/ca941249b98a2da3959e0b2b7d9311c647795778.
Found by tryAtEachStep.