Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.lxor_trichotomy

Modification history

2022-07-17 06:40
src/data/nat/bitwise.lean
feat(data/nat/bitwise): tweak `lxor` lemmas (#15409) …
Modified nat.lxor_trichotomyView on Github →
2020-08-30 04:53
src/data/nat/bitwise.lean
feat(set_theory/game): computation of grundy_value (nim n + nim m) (#3977)
Added nat.lxor_trichotomyView on Github →