Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.zero_lxor

Modification history

2021-05-03 17:06

src/data/nat/bitwise.lean

chore(*): update to lean 3.30.0c (#7264) …

Modified nat.zero_lxor View on Github →

2020-08-29 15:59

src/data/nat/bitwise.lean

feat(data/nat): API for test_bit and bitwise operations (#3964)

Added nat.zero_lxor View on Github →