Mathlib v3 is deprecated. Go to Mathlib v4

Theorem xor_true

Modification history

2021-08-14 00:25
src/logic/basic.lean
feat(logic/basic): a few lemmas about `xor` (#8650) …
Added xor_trueView on Github →