Theorem Nat.bitwise_zero_left

Modification history

2024-05-13 07:14

Mathlib/Data/Nat/Bitwise.lean

feat: backport adaptations for nightly-2024-05-11 (#12854) …

Modified Nat.bitwise_zero_left View on Github →

2023-10-09 15:23

Mathlib/Data/Nat/Bitwise.lean

feat: prove equality of `Nat.bitwise` and `Nat.bitwise'` (#7410) …

Added Nat.bitwise_zero_left View on Github →