Commit 2023-10-19 09:56 b9ac893f
View on Github →refactor: use bitwise notation for Nat.land
, Nat.lor
, and Nat.xor
(#7759)
This didn't exist in Lean 3.
refactor: use bitwise notation for Nat.land
, Nat.lor
, and Nat.xor
(#7759)
This didn't exist in Lean 3.