Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.lxor_left_injective

Modification history

2022-07-17 06:40
src/data/nat/bitwise.lean
feat(data/nat/bitwise): tweak `lxor` lemmas (#15409) …
Added nat.lxor_left_injectiveView on Github →