Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.lt_lxor_cases

Modification history

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